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