# Pastebin tW741w61
Prelude Data.Typeable> :t typeRep
typeRep :: Typeable a => proxy a -> TypeRep
Prelude Data.Typeable> typeRep (Just ())
()
Prelude Data.Typeable> newtype T = T ()
Prelude Data.Typeable> typeRep (Just $ T ())
T