{-
************************************************************************
*                                                                      *
     The ``boxed primitive'' types (@Char@, @Int@, etc)
*                                                                      *
************************************************************************
-}

charTy :: Type
charTy = mkTyConTy charTyCon
charTy :: Type
charTy = mkTyConTy charTyCon
charTy = mkTyConTy charTyCon