lifttype.hs

liftType :: forall t. Typeable t => Q Type
liftType = do
    let rep = typeRep @t
    go rep
  where
    go :: forall (a :: k). TypeRep a -> Q Type
    go tr =
        case tr of
            Con tyCon -> do
                let
                    nameBase =
                        mkOccName $ tyConName tyCon
                    flavor =
                        NameG
                            TcClsName
                            (mkPkgName $ tyConPackage tyCon)
                            (mkModName $ tyConModule tyCon)
                    name =
                        Name
                            nameBase
                            flavor
                pure $ ConT name
            App trA trB ->
                [t|$(go trA) $(go trB)|]
            Fun trA trB ->
                [t|$(go trA) -> $(go trB)|]

Now a major motion picture Cabal package!