{"moduleName":["Main"],"imports":[{"annotation":{"meta":null,"sourceSpan":{"start":[1,1],"end":[110,32]}},"moduleName":["Main"]},{"annotation":{"meta":null,"sourceSpan":{"start":[1,1],"end":[110,32]}},"moduleName":["Prim"]}],"builtWith":"0.12.1","modulePath":"tests/Main.purs","exports":["inspect","foreign_","foreign__","const","alwaysAlwaysTrue","identity","flip","Tuple","tuple","addPair","add5","add5Point1","newPair","booleans","string","letAdd5","whereAdd5","customIncrement","constInt","alwaysTrue","fib","applyN","addTuples","ex","complexCase","Color","red","Inspect","Just","Nothing","maybe","incrementA"],"decls":[{"annotation":{"meta":null,"sourceSpan":{"start":[25,1],"end":[25,27]}},"identifier":"Tuple","expression":{"constructorName":"Tuple","annotation":{"meta":null,"sourceSpan":{"start":[25,1],"end":[25,27]}},"typeName":"Tuple","fieldNames":["value0","value1"],"type":"Constructor"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[104,1],"end":[104,32]}},"identifier":"Just","expression":{"constructorName":"Just","annotation":{"meta":null,"sourceSpan":{"start":[104,1],"end":[104,32]}},"typeName":"Maybe","fieldNames":["value0"],"type":"Constructor"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[104,1],"end":[104,32]}},"identifier":"Nothing","expression":{"constructorName":"Nothing","annotation":{"meta":null,"sourceSpan":{"start":[104,1],"end":[104,32]}},"typeName":"Maybe","fieldNames":[],"type":"Constructor"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[96,1],"end":[96,29]}},"identifier":"Color","expression":{"annotation":{"meta":{"metaType":"IsNewtype"},"sourceSpan":{"start":[96,1],"end":[96,29]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[96,1],"end":[96,29]}},"value":{"moduleName":null,"identifier":"x"},"type":"Var"},"argument":"x","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[101,1],"end":[102,25]}},"identifier":"Inspect","expression":{"annotation":{"meta":{"metaType":"IsTypeClassConstructor"},"sourceSpan":{"start":[101,1],"end":[102,25]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[101,1],"end":[102,25]}},"value":{"literalType":"ObjectLiteral","value":[["inspect",{"annotation":{"meta":null,"sourceSpan":{"start":[101,1],"end":[102,25]}},"value":{"moduleName":null,"identifier":"inspect"},"type":"Var"}]]},"type":"Literal"},"argument":"inspect","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[27,1],"end":[27,41]}},"identifier":"tuple","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[27,1],"end":[27,41]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[27,1],"end":[27,41]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[28,13],"end":[28,22]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[28,21],"end":[28,22]}},"value":{"moduleName":null,"identifier":"b"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[28,13],"end":[28,22]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[28,19],"end":[28,20]}},"value":{"moduleName":null,"identifier":"a"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":{"metaType":"IsConstructor","identifiers":["value0","value1"],"constructorType":"ProductType"},"sourceSpan":{"start":[28,13],"end":[28,18]}},"value":{"moduleName":["Main"],"identifier":"Tuple"},"type":"Var"}}},"argument":"b","type":"Abs"},"argument":"a","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[47,1],"end":[47,17]}},"identifier":"string","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[48,10],"end":[50,1]}},"value":{"literalType":"StringLiteral","value":"..."},"type":"Literal"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[98,1],"end":[98,13]}},"identifier":"red","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[99,7],"end":[101,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[99,13],"end":[101,1]}},"value":{"literalType":"StringLiteral","value":"red"},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":{"metaType":"IsNewtype"},"sourceSpan":{"start":[99,7],"end":[99,12]}},"value":{"moduleName":["Main"],"identifier":"Color"},"type":"Var"}},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[41,1],"end":[41,42]}},"identifier":"newPair","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[41,1],"end":[41,42]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[41,1],"end":[41,42]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[42,15],"end":[42,23]}},"value":{"literalType":"ObjectLiteral","value":[["a",{"annotation":{"meta":null,"sourceSpan":{"start":[42,17],"end":[42,18]}},"value":{"moduleName":null,"identifier":"a"},"type":"Var"}],["b",{"annotation":{"meta":null,"sourceSpan":{"start":[42,20],"end":[42,21]}},"value":{"moduleName":null,"identifier":"b"},"type":"Var"}]]},"type":"Literal"},"argument":"b","type":"Abs"},"argument":"a","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[106,1],"end":[106,19]}},"identifier":"maybe","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[107,9],"end":[109,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[107,14],"end":[109,1]}},"value":{"literalType":"IntLiteral","value":1},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":{"metaType":"IsConstructor","identifiers":["value0"],"constructorType":"SumType"},"sourceSpan":{"start":[107,9],"end":[107,13]}},"value":{"moduleName":["Main"],"identifier":"Just"},"type":"Var"}},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[102,3],"end":[102,25]}},"identifier":"inspect","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[102,3],"end":[102,25]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[102,3],"end":[102,25]}},"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[102,3],"end":[102,25]}},"value":{"moduleName":null,"identifier":"dict"},"type":"Var"},"fieldName":"inspect","type":"Accessor"},"argument":"dict","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[19,1],"end":[19,29]}},"identifier":"identity","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[19,1],"end":[19,29]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[20,14],"end":[20,15]}},"value":{"moduleName":null,"identifier":"a"},"type":"Var"},"argument":"a","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[5,1],"end":[5,17]}},"identifier":"foreign__","expression":{"annotation":{"meta":{"metaType":"IsForeign"},"sourceSpan":{"start":[6,13],"end":[6,21]}},"value":{"moduleName":["Main"],"identifier":"foreign_"},"type":"Var"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[22,1],"end":[22,51]}},"identifier":"flip","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[22,1],"end":[22,51]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[22,1],"end":[22,51]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[22,1],"end":[22,51]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[23,14],"end":[23,19]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[23,18],"end":[23,19]}},"value":{"moduleName":null,"identifier":"a"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[23,14],"end":[23,19]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[23,16],"end":[23,17]}},"value":{"moduleName":null,"identifier":"b"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[23,14],"end":[23,15]}},"value":{"moduleName":null,"identifier":"f"},"type":"Var"}}},"argument":"b","type":"Abs"},"argument":"a","type":"Abs"},"argument":"f","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[87,1],"end":[87,11]}},"identifier":"ex","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[88,6],"end":[90,1]}},"value":{"literalType":"CharLiteral","value":"x"},"type":"Literal"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[63,1],"end":[63,38]}},"identifier":"constInt","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[63,1],"end":[63,38]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[63,1],"end":[63,38]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[63,1],"end":[63,38]}},"caseExpressions":[{"annotation":{"meta":null,"sourceSpan":{"start":[64,1],"end":[65,1]}},"value":{"moduleName":null,"identifier":"v"},"type":"Var"},{"annotation":{"meta":null,"sourceSpan":{"start":[64,1],"end":[65,1]}},"value":{"moduleName":null,"identifier":"v1"},"type":"Var"}],"caseAlternatives":[{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[64,10],"end":[64,12]}},"literal":{"literalType":"IntLiteral","value":0},"binderType":"LiteralBinder"},{"annotation":{"meta":null,"sourceSpan":{"start":[64,12],"end":[64,13]}},"binderType":"NullBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[64,16],"end":[65,1]}},"value":{"literalType":"IntLiteral","value":1},"type":"Literal"},"isGuarded":false},{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[65,10],"end":[65,11]}},"identifier":"a","binderType":"VarBinder"},{"annotation":{"meta":null,"sourceSpan":{"start":[65,12],"end":[65,13]}},"binderType":"NullBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[65,16],"end":[65,17]}},"value":{"moduleName":null,"identifier":"a"},"type":"Var"},"isGuarded":false}],"type":"Case"},"argument":"v1","type":"Abs"},"argument":"v","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[8,1],"end":[8,33]}},"identifier":"const","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[8,1],"end":[8,33]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[8,1],"end":[8,33]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[9,13],"end":[9,14]}},"value":{"moduleName":null,"identifier":"x"},"type":"Var"},"argument":"v","type":"Abs"},"argument":"x","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[58,1],"end":[58,30]}},"identifier":"customIncrement","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[59,19],"end":[63,1]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[59,19],"end":[63,1]}},"caseExpressions":[{"annotation":{"meta":null,"sourceSpan":{"start":[0,0],"end":[0,0]}},"value":{"moduleName":null,"identifier":"v"},"type":"Var"}],"caseAlternatives":[{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[60,3],"end":[60,5]}},"literal":{"literalType":"IntLiteral","value":0},"binderType":"LiteralBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[60,8],"end":[61,3]}},"value":{"literalType":"IntLiteral","value":0},"type":"Literal"},"isGuarded":false},{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[61,3],"end":[61,4]}},"identifier":"n","binderType":"VarBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[59,19],"end":[63,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[61,12],"end":[63,1]}},"value":{"literalType":"IntLiteral","value":1},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[59,19],"end":[63,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[61,8],"end":[61,9]}},"value":{"moduleName":null,"identifier":"n"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[61,10],"end":[61,11]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"isGuarded":false}],"type":"Case"},"argument":"v","type":"Abs"},"bindType":"NonRec"},{"binds":[{"annotation":{"meta":null,"sourceSpan":{"start":[72,1],"end":[72,18]}},"identifier":"fib","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[72,1],"end":[72,18]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[72,1],"end":[72,18]}},"caseExpressions":[{"annotation":{"meta":null,"sourceSpan":{"start":[73,1],"end":[74,1]}},"value":{"moduleName":null,"identifier":"v"},"type":"Var"}],"caseAlternatives":[{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[73,5],"end":[73,7]}},"literal":{"literalType":"IntLiteral","value":0},"binderType":"LiteralBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[73,9],"end":[74,1]}},"value":{"literalType":"IntLiteral","value":0},"type":"Literal"},"isGuarded":false},{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[74,5],"end":[74,7]}},"literal":{"literalType":"IntLiteral","value":1},"binderType":"LiteralBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[74,9],"end":[75,1]}},"value":{"literalType":"IntLiteral","value":1},"type":"Literal"},"isGuarded":false},{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[75,5],"end":[75,6]}},"identifier":"n","binderType":"VarBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[75,9],"end":[75,34]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[75,9],"end":[75,34]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[75,27],"end":[75,34]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[75,32],"end":[75,33]}},"value":{"literalType":"IntLiteral","value":2},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[75,27],"end":[75,34]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[75,28],"end":[75,29]}},"value":{"moduleName":null,"identifier":"n"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[75,30],"end":[75,31]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[75,23],"end":[75,26]}},"value":{"moduleName":["Main"],"identifier":"fib"},"type":"Var"}},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[75,9],"end":[75,34]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[75,9],"end":[75,34]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[75,13],"end":[75,20]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[75,18],"end":[75,19]}},"value":{"literalType":"IntLiteral","value":1},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[75,13],"end":[75,20]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[75,14],"end":[75,15]}},"value":{"moduleName":null,"identifier":"n"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[75,16],"end":[75,17]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[75,9],"end":[75,12]}},"value":{"moduleName":["Main"],"identifier":"fib"},"type":"Var"}},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[75,21],"end":[75,22]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"isGuarded":false}],"type":"Case"},"argument":"v","type":"Abs"}}],"bindType":"Rec"},{"annotation":{"meta":null,"sourceSpan":{"start":[109,1],"end":[109,61]}},"identifier":"incrementA","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[109,1],"end":[109,61]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[110,16],"end":[110,32]}},"binds":[{"annotation":{"meta":null,"sourceSpan":{"start":[110,1],"end":[110,32]}},"identifier":"v","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[110,16],"end":[110,17]}},"value":{"moduleName":null,"identifier":"o"},"type":"Var"},"bindType":"NonRec"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[110,16],"end":[110,32]}},"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[0,0],"end":[0,0]}},"value":{"moduleName":null,"identifier":"v"},"type":"Var"},"updates":[["a",{"annotation":{"meta":null,"sourceSpan":{"start":[110,16],"end":[110,32]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[110,30],"end":[110,32]}},"value":{"literalType":"IntLiteral","value":1},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[110,16],"end":[110,32]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[110,16],"end":[110,32]}},"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[110,24],"end":[110,25]}},"value":{"moduleName":null,"identifier":"o"},"type":"Var"},"fieldName":"a","type":"Accessor"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[110,28],"end":[110,29]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}}]],"type":"ObjectUpdate"},"type":"Let"},"argument":"o","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[50,1],"end":[50,22]}},"identifier":"letAdd5","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[51,11],"end":[51,31]}},"binds":[{"annotation":{"meta":null,"sourceSpan":{"start":[51,15],"end":[51,27]}},"identifier":"f","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[51,15],"end":[51,27]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[51,21],"end":[51,27]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[51,25],"end":[51,27]}},"value":{"literalType":"IntLiteral","value":5},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[51,21],"end":[51,27]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[51,21],"end":[51,22]}},"value":{"moduleName":null,"identifier":"x"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[51,23],"end":[51,24]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"argument":"x","type":"Abs"},"bindType":"NonRec"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[51,30],"end":[51,31]}},"value":{"moduleName":null,"identifier":"f"},"type":"Var"},"type":"Let"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[53,1],"end":[53,24]}},"identifier":"whereAdd5","expression":{"annotation":{"meta":{"metaType":"IsWhere"},"sourceSpan":{"start":[54,13],"end":[58,1]}},"binds":[{"annotation":{"meta":null,"sourceSpan":{"start":[56,5],"end":[58,1]}},"identifier":"f","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[56,5],"end":[58,1]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[56,11],"end":[58,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[56,15],"end":[58,1]}},"value":{"literalType":"IntLiteral","value":5},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[56,11],"end":[58,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[56,11],"end":[56,12]}},"value":{"moduleName":null,"identifier":"x"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[56,13],"end":[56,14]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"argument":"x","type":"Abs"},"bindType":"NonRec"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[54,13],"end":[54,14]}},"value":{"moduleName":null,"identifier":"f"},"type":"Var"},"type":"Let"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[90,1],"end":[90,62]}},"identifier":"complexCase","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[91,15],"end":[96,1]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[91,15],"end":[96,1]}},"caseExpressions":[{"annotation":{"meta":null,"sourceSpan":{"start":[0,0],"end":[0,0]}},"value":{"moduleName":null,"identifier":"v"},"type":"Var"}],"caseAlternatives":[{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[92,3],"end":[92,24]}},"literal":{"literalType":"ObjectLiteral","value":[["x",{"annotation":{"meta":null,"sourceSpan":{"start":[92,8],"end":[92,9]}},"literal":{"literalType":"IntLiteral","value":1},"binderType":"LiteralBinder"}],["y",{"annotation":{"meta":null,"sourceSpan":{"start":[92,14],"end":[92,16]}},"literal":{"literalType":"ArrayLiteral","value":[]},"binderType":"LiteralBinder"}],["z",{"annotation":{"meta":null,"sourceSpan":{"start":[92,21],"end":[92,22]}},"identifier":"z","binderType":"VarBinder"}]]},"binderType":"LiteralBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[92,28],"end":[93,3]}},"value":{"literalType":"IntLiteral","value":1},"type":"Literal"},"isGuarded":false},{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[93,3],"end":[93,40]}},"literal":{"literalType":"ObjectLiteral","value":[["x",{"annotation":{"meta":null,"sourceSpan":{"start":[93,8],"end":[93,9]}},"identifier":"x","binderType":"VarBinder"}],["y",{"annotation":{"meta":null,"sourceSpan":{"start":[93,14],"end":[93,30]}},"literal":{"literalType":"ArrayLiteral","value":[{"annotation":{"meta":null,"sourceSpan":{"start":[93,15],"end":[93,16]}},"literal":{"literalType":"IntLiteral","value":1},"binderType":"LiteralBinder"},{"annotation":{"meta":null,"sourceSpan":{"start":[93,18],"end":[93,19]}},"literal":{"literalType":"IntLiteral","value":2},"binderType":"LiteralBinder"},{"annotation":{"meta":null,"sourceSpan":{"start":[93,21],"end":[93,29]}},"identifier":"yyy","binder":{"annotation":{"meta":null,"sourceSpan":{"start":[93,27],"end":[93,29]}},"identifier":"yy","binderType":"VarBinder"},"binderType":"NamedBinder"}]},"binderType":"LiteralBinder"}],["z",{"annotation":{"meta":null,"sourceSpan":{"start":[93,35],"end":[93,39]}},"literal":{"literalType":"CharLiteral","value":"z"},"binderType":"LiteralBinder"}]]},"binderType":"LiteralBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[91,15],"end":[96,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[93,61],"end":[93,64]}},"value":{"moduleName":null,"identifier":"yyy"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[91,15],"end":[96,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[91,15],"end":[96,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[93,56],"end":[93,58]}},"value":{"moduleName":null,"identifier":"yy"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[91,15],"end":[96,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[91,15],"end":[96,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[93,52],"end":[93,54]}},"value":{"literalType":"IntLiteral","value":2},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[91,15],"end":[96,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[91,15],"end":[96,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[93,48],"end":[93,50]}},"value":{"literalType":"IntLiteral","value":1},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[91,15],"end":[96,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[93,44],"end":[93,45]}},"value":{"moduleName":null,"identifier":"x"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[93,46],"end":[93,47]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[93,50],"end":[93,51]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[93,54],"end":[93,55]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[93,59],"end":[93,60]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"isGuarded":false},{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[94,3],"end":[94,4]}},"binderType":"NullBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[94,8],"end":[96,1]}},"value":{"literalType":"IntLiteral","value":0},"type":"Literal"},"isGuarded":false}],"type":"Case"},"argument":"v","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[44,1],"end":[44,26]}},"identifier":"booleans","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[45,12],"end":[45,25]}},"value":{"literalType":"ArrayLiteral","value":[{"annotation":{"meta":null,"sourceSpan":{"start":[45,13],"end":[45,17]}},"value":{"literalType":"BooleanLiteral","value":true},"type":"Literal"},{"annotation":{"meta":null,"sourceSpan":{"start":[45,19],"end":[45,24]}},"value":{"literalType":"BooleanLiteral","value":false},"type":"Literal"}]},"type":"Literal"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[67,1],"end":[67,33]}},"identifier":"alwaysTrue","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[68,14],"end":[70,15]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[68,14],"end":[70,15]}},"caseExpressions":[{"annotation":{"meta":null,"sourceSpan":{"start":[0,0],"end":[0,0]}},"value":{"moduleName":null,"identifier":"v"},"type":"Var"}],"caseAlternatives":[{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[69,3],"end":[69,8]}},"literal":{"literalType":"BooleanLiteral","value":false},"binderType":"LiteralBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[69,12],"end":[69,16]}},"value":{"literalType":"BooleanLiteral","value":true},"type":"Literal"},"isGuarded":false},{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[70,3],"end":[70,7]}},"literal":{"literalType":"BooleanLiteral","value":true},"binderType":"LiteralBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[70,11],"end":[70,15]}},"value":{"literalType":"BooleanLiteral","value":true},"type":"Literal"},"isGuarded":false}],"type":"Case"},"argument":"v","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[14,1],"end":[14,48]}},"identifier":"alwaysAlwaysTrue","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[14,1],"end":[14,48]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[14,1],"end":[14,48]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[15,24],"end":[15,28]}},"value":{"literalType":"BooleanLiteral","value":true},"type":"Literal"},"argument":"v1","type":"Abs"},"argument":"v","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[77,1],"end":[77,46]}},"identifier":"applyN","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[77,1],"end":[77,46]}},"body":{"annotation":{"meta":{"metaType":"IsWhere"},"sourceSpan":{"start":[78,12],"end":[82,32]}},"binds":[{"binds":[{"annotation":{"meta":null,"sourceSpan":{"start":[80,3],"end":[82,32]}},"identifier":"go","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[80,3],"end":[82,32]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[80,3],"end":[82,32]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[80,3],"end":[82,32]}},"caseExpressions":[{"annotation":{"meta":null,"sourceSpan":{"start":[80,3],"end":[82,32]}},"value":{"moduleName":null,"identifier":"n"},"type":"Var"},{"annotation":{"meta":null,"sourceSpan":{"start":[80,3],"end":[82,32]}},"value":{"moduleName":null,"identifier":"acc"},"type":"Var"}],"caseAlternatives":[{"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[80,6],"end":[80,7]}},"identifier":"n1","binderType":"VarBinder"},{"annotation":{"meta":null,"sourceSpan":{"start":[80,8],"end":[80,11]}},"identifier":"acc1","binderType":"VarBinder"}],"expressions":[{"guard":{"annotation":{"meta":null,"sourceSpan":{"start":[80,3],"end":[82,32]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[81,12],"end":[81,14]}},"value":{"literalType":"IntLiteral","value":0},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[80,3],"end":[82,32]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[81,7],"end":[81,8]}},"value":{"moduleName":null,"identifier":"n1"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[81,9],"end":[81,11]}},"value":{"moduleName":["Main"],"identifier":"alwaysAlwaysTrue"},"type":"Var"}}},"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[81,16],"end":[81,19]}},"value":{"moduleName":null,"identifier":"acc1"},"type":"Var"}},{"guard":{"annotation":{"meta":null,"sourceSpan":{"start":[82,7],"end":[82,11]}},"value":{"literalType":"BooleanLiteral","value":true},"type":"Literal"},"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[82,14],"end":[82,32]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[82,25],"end":[82,32]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[82,28],"end":[82,31]}},"value":{"moduleName":null,"identifier":"acc1"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[82,26],"end":[82,27]}},"value":{"moduleName":null,"identifier":"f"},"type":"Var"}},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[82,14],"end":[82,32]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[82,17],"end":[82,24]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[82,22],"end":[82,23]}},"value":{"literalType":"IntLiteral","value":1},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[82,17],"end":[82,24]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[82,18],"end":[82,19]}},"value":{"moduleName":null,"identifier":"n1"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[82,20],"end":[82,21]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[82,14],"end":[82,16]}},"value":{"moduleName":null,"identifier":"go"},"type":"Var"}}}}],"isGuarded":true}],"type":"Case"},"argument":"acc","type":"Abs"},"argument":"n","type":"Abs"}}],"bindType":"Rec"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[78,12],"end":[78,14]}},"value":{"moduleName":null,"identifier":"go"},"type":"Var"},"type":"Let"},"argument":"f","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[84,1],"end":[84,61]}},"identifier":"addTuples","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[84,1],"end":[84,61]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[84,1],"end":[84,61]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[84,1],"end":[84,61]}},"caseExpressions":[{"annotation":{"meta":null,"sourceSpan":{"start":[85,1],"end":[85,58]}},"value":{"moduleName":null,"identifier":"v"},"type":"Var"},{"annotation":{"meta":null,"sourceSpan":{"start":[85,1],"end":[85,58]}},"value":{"moduleName":null,"identifier":"v1"},"type":"Var"}],"caseAlternatives":[{"binders":[{"constructorName":{"moduleName":["Main"],"identifier":"Tuple"},"annotation":{"meta":{"metaType":"IsConstructor","identifiers":["value0","value1"],"constructorType":"ProductType"},"sourceSpan":{"start":[85,12],"end":[85,21]}},"typeName":{"moduleName":["Main"],"identifier":"Tuple"},"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[85,18],"end":[85,19]}},"identifier":"a","binderType":"VarBinder"},{"annotation":{"meta":null,"sourceSpan":{"start":[85,20],"end":[85,21]}},"identifier":"b","binderType":"VarBinder"}],"binderType":"ConstructorBinder"},{"constructorName":{"moduleName":["Main"],"identifier":"Tuple"},"annotation":{"meta":{"metaType":"IsConstructor","identifiers":["value0","value1"],"constructorType":"ProductType"},"sourceSpan":{"start":[85,24],"end":[85,33]}},"typeName":{"moduleName":["Main"],"identifier":"Tuple"},"binders":[{"annotation":{"meta":null,"sourceSpan":{"start":[85,30],"end":[85,31]}},"identifier":"c","binderType":"VarBinder"},{"annotation":{"meta":null,"sourceSpan":{"start":[85,32],"end":[85,33]}},"identifier":"d","binderType":"VarBinder"}],"binderType":"ConstructorBinder"}],"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[85,37],"end":[85,58]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[85,51],"end":[85,58]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[85,56],"end":[85,57]}},"value":{"moduleName":null,"identifier":"d"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[85,51],"end":[85,58]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[85,52],"end":[85,53]}},"value":{"moduleName":null,"identifier":"b"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[85,54],"end":[85,55]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[85,37],"end":[85,58]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[85,43],"end":[85,50]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[85,48],"end":[85,49]}},"value":{"moduleName":null,"identifier":"c"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[85,43],"end":[85,50]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[85,44],"end":[85,45]}},"value":{"moduleName":null,"identifier":"a"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[85,46],"end":[85,47]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"type":"App","abstraction":{"annotation":{"meta":{"metaType":"IsConstructor","identifiers":["value0","value1"],"constructorType":"ProductType"},"sourceSpan":{"start":[85,37],"end":[85,42]}},"value":{"moduleName":["Main"],"identifier":"Tuple"},"type":"Var"}}},"isGuarded":false}],"type":"Case"},"argument":"v1","type":"Abs"},"argument":"v","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[32,1],"end":[32,31]}},"identifier":"addPair","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[32,1],"end":[32,31]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[33,16],"end":[33,31]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[33,16],"end":[33,31]}},"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[33,25],"end":[33,29]}},"value":{"moduleName":null,"identifier":"pair"},"type":"Var"},"fieldName":"b","type":"Accessor"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[33,16],"end":[33,31]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[33,16],"end":[33,31]}},"expression":{"annotation":{"meta":null,"sourceSpan":{"start":[33,16],"end":[33,20]}},"value":{"moduleName":null,"identifier":"pair"},"type":"Var"},"fieldName":"a","type":"Accessor"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[33,23],"end":[33,24]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"argument":"pair","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[38,1],"end":[38,31]}},"identifier":"add5Point1","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[38,1],"end":[38,31]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[39,16],"end":[41,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[39,20],"end":[41,1]}},"value":{"literalType":"NumberLiteral","value":5.1},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[39,16],"end":[41,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[39,16],"end":[39,17]}},"value":{"moduleName":null,"identifier":"a"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[39,18],"end":[39,19]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"argument":"a","type":"Abs"},"bindType":"NonRec"},{"annotation":{"meta":null,"sourceSpan":{"start":[35,1],"end":[35,19]}},"identifier":"add5","expression":{"annotation":{"meta":null,"sourceSpan":{"start":[35,1],"end":[35,19]}},"body":{"annotation":{"meta":null,"sourceSpan":{"start":[36,10],"end":[38,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[36,14],"end":[38,1]}},"value":{"literalType":"IntLiteral","value":5},"type":"Literal"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[36,10],"end":[38,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"start":[36,10],"end":[36,11]}},"value":{"moduleName":null,"identifier":"a"},"type":"Var"},"type":"App","abstraction":{"annotation":{"meta":null,"sourceSpan":{"start":[36,12],"end":[36,13]}},"value":{"moduleName":["Main"],"identifier":"const"},"type":"Var"}}},"argument":"a","type":"Abs"},"bindType":"NonRec"}],"comments":[],"foreign":["foreign_"],"sourceSpan":{"start":[1,1],"end":[110,32]}}