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