{-# LANGUAGE PolyKinds #-}
module Main (main) where

data Proxy t = Proxy

class Typeable t where
        typeOf :: Proxy t -> TypeRep

instance Typeable Int where
        typeOf _ = TypeRep

instance Typeable [] where
        typeOf _ = TypeRep