path: root/testsuite/tests/quantified-constraints/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