blob: 4f96b322a6ee8751529f97a5a8223cb70d2c6e90 (
plain) (
tree)
|
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE QuantifiedConstraints #-}
module QuantifiedConstraints where
class Foo a where
fooed :: a
needsParensAroundContext :: (forall x. Foo (f x)) => f Int
needsParensAroundContext = fooed
needsNoParensAroundContext :: Foo (f Int) => f Int
needsNoParensAroundContext = fooed
|