1{-# LANGUAGE ImpredicativeTypes, FlexibleContexts #-} 2 3module T9858e where 4import Data.Typeable 5 6i :: (Typeable a, Typeable b) => Proxy (a b) -> TypeRep 7i p = typeRep p 8 9j = i (Proxy :: Proxy (Eq Int => Int)) 10