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