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