Language.Lexer.Tlex.Data.TypeableTH
liftTypeFromTypeable :: Typeable a => Proxy a -> Q Type Source #
tyConToType :: TyCon -> Q Type Source #
TODO: correct reifying NOTICE: introduce reifyType by GHC 8.10
reifyType