QuantifiedConstraints
class Foo a where #
Methods
fooed :: a #
needsParensAroundContext :: (forall x. Foo (f x)) => f Int #
needsNoParensAroundContext :: Foo (f Int) => f Int #