ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/T9858b.hs

{-# LANGUAGE ImpredicativeTypes #-}
{-# LANGUAGE FlexibleContexts #-}

module T9858b where
import Data.Typeable

test = typeRep (Proxy :: Proxy (Eq Int => Int))