GHC.Types.Int (ConT (Name (OccName "Int") (NameG (TcClsName) (PkgName "ghc-prim") (ModName "GHC.Types")))) GHC.Types.[] GHC.Types.Int (AppT (ConT (Name (OccName "[]") (NameG (TcClsName) (PkgName "ghc-prim") (ModName "GHC.Types")))) (ConT (Name (OccName "Int") (NameG (TcClsName) (PkgName "ghc-prim") (ModName "GHC.Types"))))) 1 (LitT (NumTyLit (1))) "string" (LitT (StrTyLit "string")) GHC.Types.Int (ConT (Name (OccName "Int") (NameG (TcClsName) (PkgName "ghc-prim") (ModName "GHC.Types")))) (GHC.Types.->) (ConT (Name (OccName "->") (NameG (TcClsName) (PkgName "ghc-prim") (ModName "GHC.Types")))) GHC.Prim.TYPE GHC.Types.LiftedRep (AppT (ConT (Name (OccName "TYPE") (NameG (TcClsName) (PkgName "ghc-prim") (ModName "GHC.Prim")))) (ConT (Name (OccName "LiftedRep") (NameG (DataName) (PkgName "ghc-prim") (ModName "GHC.Types")))))