testsuite/tests/typecheck/should_fail/T9858e.hs


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))