Prog "CurrySyntax" ["Directory","Distribution","FileGoodies","Prelude","ReadShowTerm"] [TypeSyn ((Nothing,Nothing,"CurrySyntax","Pos")) Public [] (TCons ((Nothing,Nothing,"Prelude","(,)")) [TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) []]),TypeSyn ((Nothing,Nothing,"CurrySyntax","ModuleIdent")) Public [] (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]),Type ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"CurrySyntax","Position") [])))),"CurrySyntax","Position")) Public [] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"CurrySyntax","Position") [])))),"CurrySyntax","Position")) 3 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []],TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) []]],Type ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"CurrySyntax","Ident") []))),"CurrySyntax","Ident")) Public [] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"CurrySyntax","Ident") []))),"CurrySyntax","Ident")) 2 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []],TCons ((Nothing,Nothing,"Prelude","Int")) []]],Type ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []))),"CurrySyntax","QualIdent")) Public [] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") [])),"CurrySyntax","UnqualIdent")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []))),"CurrySyntax","QualIdent")) 2 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []],TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []]],Type ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"CurrySyntax","ExportSpec") [TVar 0]]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Module") [TVar 0])))),"CurrySyntax","Module")) Public [0] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"CurrySyntax","ExportSpec") [TVar 0]]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Module") [TVar 0])))),"CurrySyntax","Module")) 3 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []],TCons ((Nothing,Nothing,"Prelude","Maybe")) [TCons ((Nothing,Nothing,"CurrySyntax","ExportSpec")) [TVar 0]],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Decl")) [TVar 0]]]],Type ((Nothing,Nothing,"CurrySyntax","ExportSpec")) Public [0] [Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Export") []]) (TCons (Nothing,Nothing,"CurrySyntax","ExportSpec") [TVar 0]))),"CurrySyntax","Exporting")) 2 Public [TVar 0,TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Export")) []]]],Type ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (TCons (Nothing,Nothing,"CurrySyntax","Export") [])),"CurrySyntax","Export")) Public [] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (TCons (Nothing,Nothing,"CurrySyntax","Export") [])),"CurrySyntax","Export")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","QualIdent")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (TCons (Nothing,Nothing,"CurrySyntax","Export") []))),"CurrySyntax","ExportTypeWith")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","QualIdent")) [],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (TCons (Nothing,Nothing,"CurrySyntax","Export") [])),"CurrySyntax","ExportTypeAll")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","QualIdent")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"CurrySyntax","Export") [])),"CurrySyntax","ExportModule")) 1 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]]],Type ((Nothing,Nothing,"CurrySyntax","ImportSpec")) Public [0] [Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Import") []]) (TCons (Nothing,Nothing,"CurrySyntax","ImportSpec") [TVar 0]))),"CurrySyntax","Importing")) 2 Public [TVar 0,TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Import")) []]],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Import") []]) (TCons (Nothing,Nothing,"CurrySyntax","ImportSpec") [TVar 0]))),"CurrySyntax","Hiding")) 2 Public [TVar 0,TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Import")) []]]],Type ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (TCons (Nothing,Nothing,"CurrySyntax","Import") [])),"CurrySyntax","Import")) Public [] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (TCons (Nothing,Nothing,"CurrySyntax","Import") [])),"CurrySyntax","Import")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (TCons (Nothing,Nothing,"CurrySyntax","Import") []))),"CurrySyntax","ImportTypeWith")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (TCons (Nothing,Nothing,"CurrySyntax","Import") [])),"CurrySyntax","ImportTypeAll")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []]],Type ((Nothing,Nothing,"CurrySyntax","Decl")) Public [0] [Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"CurrySyntax","ImportSpec") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0])))))),"CurrySyntax","ImportDecl")) 5 Public [TVar 0,TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []],TCons ((Nothing,Nothing,"Prelude","Bool")) [],TCons ((Nothing,Nothing,"Prelude","Maybe")) [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]],TCons ((Nothing,Nothing,"Prelude","Maybe")) [TCons ((Nothing,Nothing,"CurrySyntax","ImportSpec")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Infix") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0]))))),"CurrySyntax","InfixDecl")) 4 Public [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","Infix")) [],TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []]],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","ConstrDecl") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0]))))),"CurrySyntax","DataDecl")) 4 Public [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","ConstrDecl")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","NewConstrDecl") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0]))))),"CurrySyntax","NewtypeDecl")) 4 Public [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],TCons ((Nothing,Nothing,"CurrySyntax","NewConstrDecl")) [TVar 0]],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []) (TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0]))))),"CurrySyntax","TypeDecl")) 4 Public [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []) (TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0])))),"CurrySyntax","TypeSig")) 3 Public [TVar 0,TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","EvalAnnotation") []) (TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0])))),"CurrySyntax","EvalAnnot")) 3 Public [TVar 0,TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],TCons ((Nothing,Nothing,"CurrySyntax","EvalAnnotation")) []],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Equation") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0])))),"CurrySyntax","FunctionDecl")) 3 Public [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Equation")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","CallConv") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []) (TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0])))))),"CurrySyntax","ExternalDecl")) 5 Public [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","CallConv")) [],TCons ((Nothing,Nothing,"Prelude","Maybe")) [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]],TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0]))),"CurrySyntax","FlatExternalDecl")) 2 Public [TVar 0,TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []]],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Rhs") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0])))),"CurrySyntax","PatternDecl")) 3 Public [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Rhs")) [TVar 0]],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0]))),"CurrySyntax","ExtraVariables")) 2 Public [TVar 0,TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []]]],Type ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []]) (TCons (Nothing,Nothing,"CurrySyntax","ConstrDecl") [TVar 0]))))),"CurrySyntax","ConstrDecl")) Public [0] [Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []]) (TCons (Nothing,Nothing,"CurrySyntax","ConstrDecl") [TVar 0]))))),"CurrySyntax","ConstrDecl")) 4 Public [TVar 0,TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []]],Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []) (TCons (Nothing,Nothing,"CurrySyntax","ConstrDecl") [TVar 0])))))),"CurrySyntax","ConOpDecl")) 5 Public [TVar 0,TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) [],TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []]],Type ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []) (TCons (Nothing,Nothing,"CurrySyntax","NewConstrDecl") [TVar 0]))))),"CurrySyntax","NewConstrDecl")) Public [0] [Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []) (TCons (Nothing,Nothing,"CurrySyntax","NewConstrDecl") [TVar 0]))))),"CurrySyntax","NewConstrDecl")) 4 Public [TVar 0,TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []]],Type ((Nothing,Just (TCons (Nothing,Nothing,"CurrySyntax","Infix") []),"CurrySyntax","Infix")) Public [] [Cons ((Nothing,Just (TCons (Nothing,Nothing,"CurrySyntax","Infix") []),"CurrySyntax","InfixL")) 0 Public [],Cons ((Nothing,Just (TCons (Nothing,Nothing,"CurrySyntax","Infix") []),"CurrySyntax","InfixR")) 0 Public [],Cons ((Nothing,Just (TCons (Nothing,Nothing,"CurrySyntax","Infix") []),"CurrySyntax","Infix")) 0 Public []],Type ((Nothing,Nothing,"CurrySyntax","EvalAnnotation")) Public [] [Cons ((Nothing,Just (TCons (Nothing,Nothing,"CurrySyntax","EvalAnnotation") []),"CurrySyntax","EvalRigid")) 0 Public [],Cons ((Nothing,Just (TCons (Nothing,Nothing,"CurrySyntax","EvalAnnotation") []),"CurrySyntax","EvalChoice")) 0 Public []],Type ((Nothing,Nothing,"CurrySyntax","CallConv")) Public [] [Cons ((Nothing,Just (TCons (Nothing,Nothing,"CurrySyntax","CallConv") []),"CurrySyntax","CallConvPrimitive")) 0 Public [],Cons ((Nothing,Just (TCons (Nothing,Nothing,"CurrySyntax","CallConv") []),"CurrySyntax","CallConvCCall")) 0 Public []],Type ((Nothing,Nothing,"CurrySyntax","TypeExpr")) Public [] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []]) (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []))),"CurrySyntax","ConstructorType")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","QualIdent")) [],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") [])),"CurrySyntax","VariableType")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []]) (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") [])),"CurrySyntax","TupleType")) 1 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []) (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") [])),"CurrySyntax","ListType")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []) (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []))),"CurrySyntax","ArrowType")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) [],TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Ident") []],TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []]]) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []]) (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []))),"CurrySyntax","RecordType")) 2 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","(,)")) [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []]],TCons ((Nothing,Nothing,"Prelude","Maybe")) [TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []]]],Type ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Lhs") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Rhs") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Equation") [TVar 0])))),"CurrySyntax","Equation")) Public [0] [Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Lhs") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Rhs") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Equation") [TVar 0])))),"CurrySyntax","Equation")) 3 Public [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","Lhs")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Rhs")) [TVar 0]]],Type ((Nothing,Nothing,"CurrySyntax","Lhs")) Public [0] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Lhs") [TVar 0]))),"CurrySyntax","FunLhs")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Lhs") [TVar 0])))),"CurrySyntax","OpLhs")) 3 Public [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Lhs") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Lhs") [TVar 0]))),"CurrySyntax","ApLhs")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Lhs")) [TVar 0],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]]]],Type ((Nothing,Nothing,"CurrySyntax","Rhs")) Public [0] [Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Rhs") [TVar 0])))),"CurrySyntax","SimpleRhs")) 3 Public [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Decl")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","CondExpr") [TVar 0]]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Rhs") [TVar 0]))),"CurrySyntax","GuardedRhs")) 2 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","CondExpr")) [TVar 0]],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Decl")) [TVar 0]]]],Type ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","CondExpr") [TVar 0])))),"CurrySyntax","CondExpr")) Public [0] [Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","CondExpr") [TVar 0])))),"CurrySyntax","CondExpr")) 3 Public [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]]],Type ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Literal") []) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0])),"CurrySyntax","Literal")) Public [] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (TCons (Nothing,Nothing,"CurrySyntax","Literal") [])),"CurrySyntax","Char")) 1 Public [TCons ((Nothing,Nothing,"Prelude","Char")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Int") []) (TCons (Nothing,Nothing,"CurrySyntax","Literal") []))),"CurrySyntax","Int")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"Prelude","Int")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Float") []) (TCons (Nothing,Nothing,"CurrySyntax","Literal") [])),"CurrySyntax","Float")) 1 Public [TCons ((Nothing,Nothing,"Prelude","Float")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"CurrySyntax","Literal") [])),"CurrySyntax","String")) 1 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]]],Type ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) Public [0] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Literal") []) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0])),"CurrySyntax","LiteralPattern")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","Literal")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Literal") []) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]))),"CurrySyntax","NegativePattern")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"CurrySyntax","Literal")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0])),"CurrySyntax","VariablePattern")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]))),"CurrySyntax","ConstructorPattern")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","QualIdent")) [],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0])))),"CurrySyntax","InfixPattern")) 3 Public [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","QualIdent")) [],TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0])),"CurrySyntax","ParenPattern")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0])),"CurrySyntax","TuplePattern")) 1 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0])),"CurrySyntax","ListPattern")) 1 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]))),"CurrySyntax","AsPattern")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0])),"CurrySyntax","LazyPattern")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]))),"CurrySyntax","FunctionPattern")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","QualIdent")) [],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0])))),"CurrySyntax","InfixFuncPattern")) 3 Public [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","QualIdent")) [],TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Field") [TVar 0,TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]]]) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]))),"CurrySyntax","RecordPattern")) 2 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Field")) [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]]],TCons ((Nothing,Nothing,"Prelude","Maybe")) [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]]]],Type ((Nothing,Nothing,"CurrySyntax","Expression")) Public [0] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Literal") []) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0])),"CurrySyntax","Literal")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","Literal")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0])),"CurrySyntax","Variable")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","QualIdent")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0])),"CurrySyntax","Constructor")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","QualIdent")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0])),"CurrySyntax","Paren")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","TypeExpr") []) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","Typed")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","TypeExpr")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0])),"CurrySyntax","Tuple")) 1 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0])),"CurrySyntax","List")) 1 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Statement") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","ListCompr")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Statement")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0])),"CurrySyntax","EnumFrom")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","EnumFromThen")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","EnumFromTo")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0])))),"CurrySyntax","EnumFromThenTo")) 3 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","UnaryMinus")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","Apply")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","InfixOp") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0])))),"CurrySyntax","InfixApply")) 3 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","InfixOp")) [],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","InfixOp") []) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","LeftSection")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","InfixOp")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","InfixOp") []) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","RightSection")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","InfixOp")) [],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","Lambda")) 2 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0]],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0]]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","Let")) 2 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Decl")) [TVar 0]],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Statement") [TVar 0]]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","Do")) 2 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Statement")) [TVar 0]],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0])))),"CurrySyntax","IfThenElse")) 3 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Alt") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","Case")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Alt")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Field") [TVar 0,TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]]]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0])),"CurrySyntax","RecordConstr")) 1 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Field")) [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]]]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","RecordSelection")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Ident")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Field") [TVar 0,TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]]]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]))),"CurrySyntax","RecordUpdate")) 2 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Field")) [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]]],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]]],Type ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (TCons (Nothing,Nothing,"CurrySyntax","InfixOp") [])),"CurrySyntax","InfixOp")) Public [] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (TCons (Nothing,Nothing,"CurrySyntax","InfixOp") [])),"CurrySyntax","InfixOp")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","QualIdent")) []],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","QualIdent") []) (TCons (Nothing,Nothing,"CurrySyntax","InfixOp") [])),"CurrySyntax","InfixConstr")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","QualIdent")) []]],Type ((Nothing,Nothing,"CurrySyntax","Statement")) Public [0] [Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Statement") [TVar 0])),"CurrySyntax","StmtExpr")) 1 Public [TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Decl") [TVar 0]]) (TCons (Nothing,Nothing,"CurrySyntax","Statement") [TVar 0])),"CurrySyntax","StmtDecl")) 1 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"CurrySyntax","Decl")) [TVar 0]]],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Expression") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Statement") [TVar 0]))),"CurrySyntax","StmtBind")) 2 Public [TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Expression")) [TVar 0]]],Type ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Rhs") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Alt") [TVar 0])))),"CurrySyntax","Alt")) Public [0] [Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","ConstrTerm") [TVar 0]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Rhs") [TVar 0]) (TCons (Nothing,Nothing,"CurrySyntax","Alt") [TVar 0])))),"CurrySyntax","Alt")) 3 Public [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","ConstrTerm")) [TVar 0],TCons ((Nothing,Nothing,"CurrySyntax","Rhs")) [TVar 0]]],Type ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TVar 1) (TCons (Nothing,Nothing,"CurrySyntax","Field") [TVar 0,TVar 1])))),"CurrySyntax","Field")) Public [0,1] [Cons ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Ident") []) (FuncType (TVar 1) (TCons (Nothing,Nothing,"CurrySyntax","Field") [TVar 0,TVar 1])))),"CurrySyntax","Field")) 3 Public [TVar 0,TCons ((Nothing,Nothing,"CurrySyntax","Ident")) [],TVar 1]]] [Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]])),"CurrySyntax","readCurry")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"CurrySyntax","Module")) [TCons ((Nothing,Nothing,"Prelude","(,)")) [TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) []]]])) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1)] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Distribution","FrontendParams") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]]))),"CurrySyntax","readCurryWithParseOptions")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1)),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (FuncType (TCons (Nothing,Nothing,"Distribution","FrontendParams") []) (TCons (Nothing,Nothing,"Distribution","FrontendParams") []))),"Distribution","setQuiet")) [Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","True")) [],Comb FuncCall ((Nothing,Just (TCons (Nothing,Nothing,"Distribution","FrontendParams") []),"Distribution","defaultParams")) []]])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Distribution","FrontendParams") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]]))),"CurrySyntax","readCurryWithParseOptions")) 2 Public (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (FuncType (TCons ((Nothing,Nothing,"Distribution","FrontendParams")) []) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"CurrySyntax","Module")) [TCons ((Nothing,Nothing,"Prelude","(,)")) [TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) []]]]))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1),(Just (TCons (Nothing,Nothing,"Distribution","FrontendParams") []),2)] (Let [((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),3),Comb FuncCall ((Nothing,Just (FuncType (FuncType (TVar 4) (TVar 5)) (FuncType (TVar 4) (TVar 5))),"Prelude","apply")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"CurrySyntax","stripSuffix")) [],Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1))])] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]]) (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]]))),"Prelude",">>")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]]) (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]]))),"CurrySyntax","orElseDo")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Distribution","FrontendParams") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]])))),"CurrySyntax","readCurryWithParseOptions.parseCurry.5")) [Var ((Just (TCons (Nothing,Nothing,"Distribution","FrontendParams") []),2)),Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),3)),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  '.'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'c'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'y'),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []]]]]]]],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Distribution","FrontendParams") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]])))),"CurrySyntax","readCurryWithParseOptions.parseCurry.5")) [Var ((Just (TCons (Nothing,Nothing,"Distribution","FrontendParams") []),2)),Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),3)),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  '.'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'l'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'c'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'y'),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []]]]]]]]]],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]])),"CurrySyntax","readCurryFile")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),3))]]))),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Distribution","FrontendParams") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TVar 0) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]])))),"CurrySyntax","readCurryWithParseOptions.parse.5")) 3 Private (FuncType (TCons ((Nothing,Nothing,"Distribution","FrontendParams")) []) (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (FuncType (TVar 0) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Prelude","Maybe")) [TCons ((Nothing,Nothing,"Prelude","()")) []]])))) (Rule [(Just (TCons (Nothing,Nothing,"Distribution","FrontendParams") []),1),(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),2),(Just (TVar 0),3)] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]]))),"Prelude",">>")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Distribution","FrontendTarget") []) (FuncType (TCons (Nothing,Nothing,"Distribution","FrontendParams") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []])))),"Distribution","callFrontendWithParams")) [Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Distribution","FrontendTarget") []),"Distribution","CY")) [],Var ((Just (TCons (Nothing,Nothing,"Distribution","FrontendParams") []),1)),Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),2))],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]])),"Prelude","return")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","()") []) (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []])),"Prelude","Just")) [Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","()") []),"Prelude","()")) []]]])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Distribution","FrontendParams") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]])))),"CurrySyntax","readCurryWithParseOptions.parseCurry.5")) 3 Private (FuncType (TCons ((Nothing,Nothing,"Distribution","FrontendParams")) []) (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Prelude","Maybe")) [TCons ((Nothing,Nothing,"Prelude","()")) []]])))) (Rule [(Just (TCons (Nothing,Nothing,"Distribution","FrontendParams") []),1),(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),2),(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),3)] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]]) (FuncType (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]])) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]]))),"Prelude",">>=")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]])),"CurrySyntax","absoluteFileName")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),2)),Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),3))]],Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]]) (FuncType (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]])) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]])))),"Prelude","maybe")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]])),"Prelude","return")) [Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]),"Prelude","Nothing")) []],Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Distribution","FrontendParams") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","()") []]])))),"CurrySyntax","readCurryWithParseOptions.parse.5")) [Var ((Just (TCons (Nothing,Nothing,"Distribution","FrontendParams") []),1)),Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),2))]]])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]])),"CurrySyntax","readCurryFile")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"CurrySyntax","Module")) [TCons ((Nothing,Nothing,"Prelude","(,)")) [TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) []]]])) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1)] (Let [((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),2),Comb FuncCall ((Nothing,Just (FuncType (FuncType (TVar 51) (TVar 52)) (FuncType (TVar 51) (TVar 52))),"Prelude","apply")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"CurrySyntax","stripSuffix")) [],Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1))])] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]]) (FuncType (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]])) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]]))),"Prelude",">>=")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]])),"CurrySyntax","absoluteFileName")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),2)),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  '.'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'c'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'y'),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []]]]]],Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]]))),"CurrySyntax","readCurryFile._#lambda3")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),2))]]))),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 0])),"CurrySyntax","readCurryFile.read.13")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (TCons ((Nothing,Nothing,"Prelude","IO")) [TVar 0])) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1)] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (FuncType (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 0])) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 0]))),"Prelude",">>=")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]])),"Prelude","readFile")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1))],Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 0])),"CurrySyntax","readCurryFile.read.13._#lambda2")) []])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 48])),"CurrySyntax","readCurryFile.read.13._#lambda2")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (TCons ((Nothing,Nothing,"Prelude","IO")) [TVar 48])) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1)] (Comb FuncCall ((Nothing,Just (FuncType (TVar 48) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 48])),"Prelude","return")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TVar 48))),"ReadShowTerm","readUnqualifiedTerm")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'C'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'y'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'S'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'y'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'n'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  't'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'a'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'x'),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []]]]]]]]]]]],Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]))),"Prelude",":")) [Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'P'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'r'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'l'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'd'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'e'),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []]]]]]]],Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]),"Prelude","[]")) []]],Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1))]])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 49]))),"CurrySyntax","readCurryFile._#lambda3")) 2 Private (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (FuncType (TCons ((Nothing,Nothing,"Prelude","Maybe")) [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]]) (TCons ((Nothing,Nothing,"Prelude","IO")) [TVar 49]))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1),(Just (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]),2)] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TVar 49]) (FuncType (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 49])) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 49])))),"Prelude","maybe")) [Comb FuncCall ((Nothing,Just (FuncType (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 49])) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 49]))),"Prelude","$")) [Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 49])),"Prelude","error")) [],Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1)),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  '.'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'c'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'y'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  ' '),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'n'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'o'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  't'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  ' '),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'f'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'o'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'u'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'n'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'd'),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []]]]]]]]]]]]]]]],Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 49])),"CurrySyntax","readCurryFile.read.13")) [],Var ((Just (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]),2))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []])),"CurrySyntax","writeCurryModule")) 1 Public (FuncType (TCons ((Nothing,Nothing,"CurrySyntax","Module")) [TCons ((Nothing,Nothing,"Prelude","(,)")) [TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) []]]) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Prelude","()")) []])) (Rule [(Just (TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]),1)] (Case  Flex (Var ((Just (TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]),1))) [Branch (Pattern ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"CurrySyntax","ExportSpec") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Decl") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]]) (TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]])))),"CurrySyntax","Module")) [(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),2),(Just (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"CurrySyntax","ExportSpec") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]]),3),(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"CurrySyntax","Decl") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]]),4)]) (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []]))),"CurrySyntax","writeCurryFile")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","++")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),2)),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  '.'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'c'),Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude",":")) [Lit (Charc  'y'),Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),"Prelude","[]")) []]]]],Var ((Just (TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]),1))])])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []]))),"CurrySyntax","writeCurryFile")) 2 Public (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (FuncType (TCons ((Nothing,Nothing,"CurrySyntax","Module")) [TCons ((Nothing,Nothing,"Prelude","(,)")) [TCons ((Nothing,Nothing,"Prelude","Int")) [],TCons ((Nothing,Nothing,"Prelude","Int")) []]]) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Prelude","()")) []]))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1),(Just (TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]),2)] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []]))),"Prelude","writeFile")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1)),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"ReadShowTerm","showTerm")) [Var ((Just (TCons (Nothing,Nothing,"CurrySyntax","Module") [TCons (Nothing,Nothing,"Prelude","(,)") [TCons (Nothing,Nothing,"Prelude","Int") [],TCons (Nothing,Nothing,"Prelude","Int") []]]),2))]])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]])),"CurrySyntax","absoluteFileName")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Prelude","Maybe")) [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]]])) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1)] (Case  Rigid (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","==")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1)),Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"FileGoodies","baseName")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1))]]) [Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","True")) []) (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]])),"Distribution","lookupFileInLoadPath")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1))]),Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","False")) []) (Case  Rigid (Comb FuncCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","otherwise")) []) [Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","True")) []) (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Bool") []]) (FuncType (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]])) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]]))),"Prelude",">>=")) [Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Bool") []])),"Directory","doesFileExist")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1))],Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]]))),"CurrySyntax","absoluteFileName._#lambda4")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1))]]),Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","False")) []) (Comb FuncCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]]),"Prelude","failed")) [])])])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (FuncType (TCons (Nothing,Nothing,"Prelude","Bool") []) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]]))),"CurrySyntax","absoluteFileName._#lambda4")) 2 Private (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (FuncType (TCons ((Nothing,Nothing,"Prelude","Bool")) []) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Prelude","Maybe")) [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]]]))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1),(Just (TCons (Nothing,Nothing,"Prelude","Bool") []),2)] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]])),"Prelude","return")) [Case  Rigid (Var ((Just (TCons (Nothing,Nothing,"Prelude","Bool") []),2))) [Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","True")) []) (Comb ConsCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]])),"Prelude","Just")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]),1))]),Branch (Pattern ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Bool") []),"Prelude","False")) []) (Comb ConsCall ((Nothing,Just (TCons (Nothing,Nothing,"Prelude","Maybe") [TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]]),"Prelude","Nothing")) [])]])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]]) (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]]))),"CurrySyntax","orElseDo")) 2 Private (FuncType (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Prelude","Maybe")) [TVar 0]]) (FuncType (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Prelude","Maybe")) [TVar 0]]) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Prelude","Maybe")) [TVar 0]]))) (Rule [(Just (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]]),1),(Just (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]]),2)] (Comb FuncCall ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]]) (FuncType (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]])) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]]))),"Prelude",">>=")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]]),1)),Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]]) (FuncType (FuncType (TVar 0) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]])) (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]])))),"Prelude","maybe")) [Var ((Just (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]]),2)),Comb FuncCall ((Nothing,Just (FuncType (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]])) (FuncType (FuncType (TVar 0) (TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0])) (FuncType (TVar 0) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]])))),"Prelude",".")) [Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0]])),"Prelude","return")) [],Comb (ConsPartCall 1) ((Nothing,Just (FuncType (TVar 0) (TCons (Nothing,Nothing,"Prelude","Maybe") [TVar 0])),"Prelude","Just")) []]]])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []])),"CurrySyntax","stripSuffix")) 0 Private (FuncType (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]) (TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []])) (Rule [] (Comb (FuncPartCall 1) ((Nothing,Just (FuncType (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (TCons (Nothing,Nothing,"Prelude","Bool") [])) (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]))),"Prelude","takeWhile")) [Comb (FuncPartCall 1) ((Nothing,Just (FuncType (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))) (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (TCons (Nothing,Nothing,"Prelude","Bool") [])))),"Prelude","flip")) [Comb (FuncPartCall 2) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (FuncType (TCons (Nothing,Nothing,"Prelude","Char") []) (TCons (Nothing,Nothing,"Prelude","Bool") []))),"Prelude","/=")) [],Lit (Charc  '.')]]))] []