Safe HaskellSafe

QuantifiedConstraints

Documentation

class Foo a where #

Methods

fooed :: a #

needsParensAroundContext :: (forall x. Foo (f x)) => f Int #