ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/T18432.hs
{-# LANGUAGE QuantifiedConstraints #-}
module Bug where
import Data.Proxy
class C a where
m :: Proxy a
f :: (forall {a}. C a) => Proxy Int
f = m
{-# LANGUAGE QuantifiedConstraints #-}
module Bug where
import Data.Proxy
class C a where
m :: Proxy a
f :: (forall {a}. C a) => Proxy Int
f = m