{"efVersion":"0.12.1","efModuleName":["Main"],"efExports":[{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"inspect"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"foreign_"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"foreign__"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"const"}]},{"ValueOpRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},"+"]},{"ValueOpRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},"-"]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"alwaysAlwaysTrue"}]},{"ValueOpRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},"<="]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"identity"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"flip"}]},{"TypeRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},"Tuple",["Tuple"]]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"tuple"}]},{"TypeRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},"Pair",[]]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"addPair"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"add5"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"add5Point1"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"newPair"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"booleans"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"string"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"letAdd5"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"whereAdd5"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"customIncrement"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"constInt"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"alwaysTrue"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"fib"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"applyN"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"addTuples"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"ex"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"complexCase"}]},{"TypeRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},"Color",["Color"]]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"red"}]},{"TypeClassRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},"Inspect"]},{"TypeRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},"Maybe",["Just","Nothing"]]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"maybe"}]},{"ValueRef":[{"start":[1,1],"name":"tests/Main.purs","end":[110,32]},{"Ident":"incrementA"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null}],"efFixities":[{"efAssociativity":"infixl","efPrecedence":5,"efOperator":"+","efAlias":[["Main"],{"Left":{"Ident":"const"}}]},{"efAssociativity":"infixl","efPrecedence":5,"efOperator":"-","efAlias":[["Main"],{"Left":{"Ident":"const"}}]},{"efAssociativity":"infixl","efPrecedence":5,"efOperator":"<=","efAlias":[["Main"],{"Left":{"Ident":"alwaysAlwaysTrue"}}]}],"efTypeFixities":[],"efDeclarations":[{"EDValue":{"edValueName":{"Ident":"inspect"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Main"],"Inspect"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Prim"],"String"]}]}]},8]}}},{"EDValue":{"edValueName":{"Ident":"foreign_"},"edValueType":{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}}},{"EDValue":{"edValueName":{"Ident":"foreign__"},"edValueType":{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}}},{"EDValue":{"edValueName":{"Ident":"const"},"edValueType":{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeVar","contents":"a"}]}]},19]},20]}}},{"EDValue":{"edValueName":{"Ident":"alwaysAlwaysTrue"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]},25]}}},{"EDValue":{"edValueName":{"Ident":"identity"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"a"}]},9]}}},{"EDValue":{"edValueName":{"Ident":"flip"},"edValueType":{"tag":"ForAll","contents":["c",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeVar","contents":"c"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"c"}]}]}]},11]},12]},13]}}},{"EDType":{"edTypeName":"Tuple","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]},"edTypeDeclarationKind":{"DataType":{"args":[["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}],["b",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],"ctors":[["Tuple",[{"tag":"TypeVar","contents":"a"},{"tag":"TypeVar","contents":"b"}]]]}}}},{"EDDataConstructor":{"edDataCtorName":"Tuple","edDataCtorOrigin":"data","edDataCtorTypeCtor":"Tuple","edDataCtorType":{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Main"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}]}]},null]},null]},"edDataCtorFields":[{"Ident":"value0"},{"Ident":"value1"}]}},{"EDValue":{"edValueName":{"Ident":"tuple"},"edValueType":{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Main"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}]}]},0]},1]}}},{"EDType":{"edTypeName":"Pair","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"Pair","edTypeSynonymArguments":[["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}],["b",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["a",{"tag":"TypeVar","contents":"a"},{"tag":"RCons","contents":["b",{"tag":"TypeVar","contents":"b"},{"tag":"REmpty"}]}]}]}}},{"EDValue":{"edValueName":{"Ident":"addPair"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["a",{"tag":"TypeConstructor","contents":[["Prim"],"Int"]},{"tag":"RCons","contents":["b",{"tag":"TypeConstructor","contents":[["Prim"],"Int"]},{"tag":"REmpty"}]}]}]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}}},{"EDValue":{"edValueName":{"Ident":"add5"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}}},{"EDValue":{"edValueName":{"Ident":"add5Point1"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}},{"EDValue":{"edValueName":{"Ident":"newPair"},"edValueType":{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["a",{"tag":"TypeVar","contents":"a"},{"tag":"RCons","contents":["b",{"tag":"TypeVar","contents":"b"},{"tag":"REmpty"}]}]}]}]}]},4]},5]}}},{"EDValue":{"edValueName":{"Ident":"booleans"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}}},{"EDValue":{"edValueName":{"Ident":"string"},"edValueType":{"tag":"TypeConstructor","contents":[["Prim"],"String"]}}},{"EDValue":{"edValueName":{"Ident":"letAdd5"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}}},{"EDValue":{"edValueName":{"Ident":"whereAdd5"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}}},{"EDValue":{"edValueName":{"Ident":"customIncrement"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}}},{"EDValue":{"edValueName":{"Ident":"constInt"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}]},17]}}},{"EDValue":{"edValueName":{"Ident":"alwaysTrue"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}}},{"EDValue":{"edValueName":{"Ident":"fib"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}}},{"EDValue":{"edValueName":{"Ident":"applyN"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"a"}]}]}]},27]}}},{"EDValue":{"edValueName":{"Ident":"addTuples"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Main"],"Tuple"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Main"],"Tuple"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Main"],"Tuple"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}]}]}}},{"EDValue":{"edValueName":{"Ident":"ex"},"edValueType":{"tag":"TypeConstructor","contents":[["Prim"],"Char"]}}},{"EDValue":{"edValueName":{"Ident":"complexCase"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["x",{"tag":"TypeConstructor","contents":[["Prim"],"Int"]},{"tag":"RCons","contents":["y",{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"RCons","contents":["z",{"tag":"TypeConstructor","contents":[["Prim"],"Char"]},{"tag":"REmpty"}]}]}]}]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}}},{"EDType":{"edTypeName":"Color","edTypeKind":{"tag":"NamedKind","contents":[["Prim"],"Type"]},"edTypeDeclarationKind":{"DataType":{"args":[],"ctors":[["Color",[{"tag":"TypeConstructor","contents":[["Prim"],"String"]}]]]}}}},{"EDDataConstructor":{"edDataCtorName":"Color","edDataCtorOrigin":"newtype","edDataCtorTypeCtor":"Color","edDataCtorType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"String"]}]},{"tag":"TypeConstructor","contents":[["Main"],"Color"]}]},"edDataCtorFields":[{"Ident":"value0"}]}},{"EDValue":{"edValueName":{"Ident":"red"},"edValueType":{"tag":"TypeConstructor","contents":[["Main"],"Color"]}}},{"EDType":{"edTypeName":"Inspect","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"Inspect","edTypeSynonymArguments":[["a",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["inspect",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Prim"],"String"]}]},{"tag":"REmpty"}]}]}}},{"EDClass":{"edClassName":"Inspect","edClassTypeArguments":[["a",null]],"edClassMembers":[[{"Ident":"inspect"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Prim"],"String"]}]}]],"edClassConstraints":[],"edFunctionalDependencies":[]}},{"EDType":{"edTypeName":"Maybe","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"DataType":{"args":[["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],"ctors":[["Just",[{"tag":"TypeVar","contents":"a"}]],["Nothing",[]]]}}}},{"EDDataConstructor":{"edDataCtorName":"Just","edDataCtorOrigin":"data","edDataCtorTypeCtor":"Maybe","edDataCtorType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Main"],"Maybe"]},{"tag":"TypeVar","contents":"a"}]}]},null]},"edDataCtorFields":[{"Ident":"value0"}]}},{"EDDataConstructor":{"edDataCtorName":"Nothing","edDataCtorOrigin":"data","edDataCtorTypeCtor":"Maybe","edDataCtorType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Main"],"Maybe"]},{"tag":"TypeVar","contents":"a"}]},null]},"edDataCtorFields":[]}},{"EDValue":{"edValueName":{"Ident":"maybe"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Main"],"Maybe"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}}},{"EDValue":{"edValueName":{"Ident":"incrementA"},"edValueType":{"tag":"ForAll","contents":["r",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["a",{"tag":"TypeConstructor","contents":[["Prim"],"Int"]},{"tag":"TypeVar","contents":"r"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["a",{"tag":"TypeConstructor","contents":[["Prim"],"Int"]},{"tag":"TypeVar","contents":"r"}]}]}]},23]}}}],"efSourceSpan":{"start":[1,1],"name":"tests/Main.purs","end":[110,32]}}