aboutsummaryrefslogblamecommitdiff
path: root/html-test/src/QuantifiedConstraints.hs
blob: 4f96b322a6ee8751529f97a5a8223cb70d2c6e90 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
                            









                                                          
{-# 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