Lower precedence for {-# UNPACK #-}
[ghc.git] / testsuite / tests / typecheck / should_fail / T9858e.hs
1 {-# LANGUAGE ImpredicativeTypes, FlexibleContexts #-}
2
3 module T9858e where
4 import Data.Typeable
5
6 i :: (Typeable a, Typeable b) => Proxy (a b) -> TypeRep
7 i p = typeRep p
8
9 j = i (Proxy :: Proxy (Eq Int => Int))