1 2 3 4 5
{-# LANGUAGE PartialTypeSignatures #-} module PartialClassMethodSignature2 where class Foo a where foo :: (Eq a, _) => a -> a