ghc-exactprint-0.6.4: tests/examples/ghc90/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