blob: 82dd81e5678621e8671eee9a079a0a383713c79d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
{-# 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
|
