type Cont = [Op]
type Test = Hoge
type Test1 a = [a]
type Test2 = (Cont, String)
type Test3 = (Cont, [String])
type Test4 = [(Cont, String)]
type Test5 a = a
TypeDecl (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 4, srcColumn = 1}) (Ident "Cont") []
(TyList (TyCon (UnQual (Ident "Op"))))
TypeDecl (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 5, srcColumn = 1}) (Ident "Test") []
(TyCon (UnQual (Ident "Hoge")))
TypeDecl (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 6, srcColumn = 1}) (Ident "Test1") [UnkindedVar (Ident "a")]
(TyList (TyVar (Ident "a")))
TypeDecl (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 7, srcColumn = 1}) (Ident "Test2") []
(TyTuple Boxed [TyCon (UnQual (Ident "Cont")),TyCon (UnQual (Ident "String"))])
TypeDecl (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 8, srcColumn = 1}) (Ident "Test3") []
(TyTuple Boxed [TyCon (UnQual (Ident "Cont")),TyList (TyCon (UnQual (Ident "String")))])
TypeDecl (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 9, srcColumn = 1}) (Ident "Test4") []
(TyList (TyTuple Boxed [TyCon (UnQual (Ident "Cont")),TyCon (UnQual (Ident "String"))]))
TypeDecl (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 10, srcColumn = 1}) (Ident "Test5") UnkindedVar (Ident "a")]
(TyVar (Ident "a"))