1{-# LANGUAGE PolyKinds #-} 2 3data Proxy t = Proxy 4 5class Typeable t where 6 typeOf :: Proxy t -> TypeRep 7 8instance Typeable Int where 9 typeOf _ = TypeRep 10 11instance Typeable [] where 12 typeOf _ = TypeRep 13