howTyConApp :: DataCon-> [Pointer] -> IM String
showTyConApp (MkDataCon "ghc-prim:GHC.Types.[]" _ _) [] = return "[]" 
showTyConApp :: DataCon-> [Pointer] -> IM String
showTyConApp (MkDataCon "ghc-prim:GHC.Types.[]" _ _) [] = return "[]"
showTyConApp (MkDataCon "ghc-prim:GHC.Types.[]" _ _) [] = return "[]"