import Data.Type import Data.Type.Typeable data T (m :: * -> *) a = ... deriveMeta ''T deriveTypeableFromMeta ''T
Typeable instance like:
instance (MetaX m) => Typeable1 (T m) where ...
The template haskell funtions in this module expect to find symbols exported from
Data.Type module under
Data.Type. Thus change:
import qualified Data.Type as T
import qualified Data.Type import qualified Data.Type as T
It would be possible to drop this requirement, but currently not without bloating the library unnecessarily.