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