git.iko.soy/rowtype-yoga/psfp
on 50f5e9d help sign in
1 line 67 kB history raw
1{"efVersion":"0.13.6","efModuleName":["Data","Tuple"],"efExports":[{"TypeRef":[{"start":[2,1],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[203,91]},"Tuple",["Tuple"]]},{"ValueRef":[{"start":[2,1],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[203,91]},{"Ident":"fst"}]},{"ValueRef":[{"start":[2,1],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[203,91]},{"Ident":"snd"}]},{"ValueRef":[{"start":[2,1],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[203,91]},{"Ident":"curry"}]},{"ValueRef":[{"start":[2,1],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[203,91]},{"Ident":"uncurry"}]},{"ValueRef":[{"start":[2,1],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[203,91]},{"Ident":"swap"}]},{"ValueRef":[{"start":[2,1],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[203,91]},{"Ident":"lookup"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"showTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eq1Tuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ordTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ord1Tuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"boundedTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semigroupoidTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semigroupTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monoidTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semiringTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ringTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"commutativeRingTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"booleanAlgebraTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"functorTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"functorWithIndexTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"invariantTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"bifunctorTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"applyTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"biapplyTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"applicativeTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"biapplicativeTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"bindTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monadTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"extendTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"comonadTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"lazyTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"foldableTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"foldable1Tuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"foldableWithIndexTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"bifoldableTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"traversableTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"traversable1Tuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"traversableWithIndexTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"bitraversableTuple"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"distributiveTuple"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Biapplicative"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[6,31],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[6,50]},"Biapplicative"]}]},"eiImportedAs":null},{"eiModule":["Control","Biapply"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[7,25],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[7,38]},"Biapply"]}]},"eiImportedAs":null},{"eiModule":["Control","Comonad"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[8,25],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[8,38]},"Comonad"]}]},"eiImportedAs":null},{"eiModule":["Control","Extend"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[9,24],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[9,36]},"Extend"]}]},"eiImportedAs":null},{"eiModule":["Control","Lazy"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[10,22],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[10,32]},"Lazy"]},{"ValueRef":[{"start":[10,34],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[10,39]},{"Ident":"defer"}]}]},"eiImportedAs":null},{"eiModule":["Data","Bifoldable"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[11,25],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[11,41]},"Bifoldable"]}]},"eiImportedAs":null},{"eiModule":["Data","Bifunctor"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[12,24],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[12,39]},"Bifunctor"]}]},"eiImportedAs":null},{"eiModule":["Data","Bitraversable"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[13,28],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[13,47]},"Bitraversable"]}]},"eiImportedAs":null},{"eiModule":["Data","Distributive"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[14,27],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[14,45]},"Distributive"]},{"ValueRef":[{"start":[14,47],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[14,61]},{"Ident":"collectDefault"}]}]},"eiImportedAs":null},{"eiModule":["Data","Eq"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[15,17],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[15,26]},"Eq1"]}]},"eiImportedAs":null},{"eiModule":["Data","Foldable"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[16,23],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[16,37]},"Foldable"]},{"ValueRef":[{"start":[16,39],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[16,46]},{"Ident":"foldMap"}]}]},"eiImportedAs":null},{"eiModule":["Data","FoldableWithIndex"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[17,32],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[17,55]},"FoldableWithIndex"]}]},"eiImportedAs":null},{"eiModule":["Data","Functor","Invariant"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[18,32],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[18,47]},"Invariant"]},{"ValueRef":[{"start":[18,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[18,54]},{"Ident":"imapF"}]}]},"eiImportedAs":null},{"eiModule":["Data","FunctorWithIndex"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[19,31],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[19,53]},"FunctorWithIndex"]}]},"eiImportedAs":null},{"eiModule":["Data","HeytingAlgebra"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[20,29],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[20,36]},{"Ident":"implies"}]},{"ValueRef":[{"start":[20,38],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[20,40]},{"Ident":"ff"}]},{"ValueRef":[{"start":[20,42],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[20,44]},{"Ident":"tt"}]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[21,20],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[21,29]},"Maybe",null]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe","First"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[22,26],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[22,35]},"First",null]}]},"eiImportedAs":null},{"eiModule":["Data","Newtype"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[23,22],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[23,28]},{"Ident":"unwrap"}]}]},"eiImportedAs":null},{"eiModule":["Data","Ord"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[24,18],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[24,28]},"Ord1"]}]},"eiImportedAs":null},{"eiModule":["Data","Semigroup","Foldable"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[25,33],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[25,48]},"Foldable1"]}]},"eiImportedAs":null},{"eiModule":["Data","Semigroup","Traversable"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[26,36],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[26,54]},"Traversable1"]}]},"eiImportedAs":null},{"eiModule":["Data","Traversable"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[27,26],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[27,43]},"Traversable"]}]},"eiImportedAs":null},{"eiModule":["Data","TraversableWithIndex"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[28,35],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[28,61]},"TraversableWithIndex"]}]},"eiImportedAs":null},{"eiModule":["Type","Equality"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[29,23],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[29,39]},"TypeEquals"]},{"ValueRef":[{"start":[29,41],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[29,45]},{"Ident":"from"}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Tuple","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[32,24],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[32,25]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[32,26],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[32,27]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]},"edTypeDeclarationKind":{"DataType":{"args":[["a",{"annotation":[{"start":[32,24],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[32,25]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}],["b",{"annotation":[{"start":[32,26],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[32,27]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]],"ctors":[["Tuple",[{"annotation":[{"start":[32,24],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[32,25]},[]],"tag":"TypeVar","contents":"a"},{"annotation":[{"start":[32,26],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[32,27]},[]],"tag":"TypeVar","contents":"b"}]]]}}}},{"EDDataConstructor":{"edDataCtorName":"Tuple","edDataCtorOrigin":"data","edDataCtorTypeCtor":"Tuple","edDataCtorType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[32,24],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[32,25]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[32,26],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[32,27]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"b"}]}]}]},null]},null]},"edDataCtorFields":[{"Ident":"value0"},{"Ident":"value1"}]}},{"EDValue":{"edValueName":{"Ident":"fst"},"edValueType":{"annotation":[{"start":[182,8],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[182,34]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[182,15],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[182,34]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[182,20],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[182,34]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[182,20],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[182,34]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[182,30],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[182,32]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[182,20],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[182,29]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[182,20],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[182,27]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[182,20],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[182,25]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[182,26],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[182,27]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[182,28],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[182,29]},[]],"tag":"TypeVar","contents":"b"}]}]},{"annotation":[{"start":[182,33],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[182,34]},[]],"tag":"TypeVar","contents":"a"}]},184]},185]}}},{"EDValue":{"edValueName":{"Ident":"snd"},"edValueType":{"annotation":[{"start":[186,8],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[186,34]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[186,15],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[186,34]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[186,20],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[186,34]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[186,20],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[186,34]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[186,30],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[186,32]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[186,20],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[186,29]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[186,20],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[186,27]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[186,20],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[186,25]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[186,26],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[186,27]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[186,28],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[186,29]},[]],"tag":"TypeVar","contents":"b"}]}]},{"annotation":[{"start":[186,33],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[186,34]},[]],"tag":"TypeVar","contents":"b"}]},101]},102]}}},{"EDValue":{"edValueName":{"Ident":"curry"},"edValueType":{"annotation":[{"start":[190,10],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,55]},[]],"tag":"ForAll","contents":["c",{"annotation":[{"start":[190,17],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,55]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[190,17],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,55]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[190,24],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,55]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[190,24],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,55]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[190,41],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,43]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[190,25],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,39]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[190,25],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,39]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[190,35],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,37]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[190,25],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,34]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[190,25],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[190,25],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,30]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[190,31],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,32]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[190,33],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,34]},[]],"tag":"TypeVar","contents":"b"}]}]},{"annotation":[{"start":[190,38],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,39]},[]],"tag":"TypeVar","contents":"c"}]}]},{"annotation":[{"start":[190,44],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,55]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[190,44],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,55]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[190,46],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,48]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[190,44],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,45]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[190,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,55]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[190,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,55]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[190,51],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,53]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[190,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,50]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[190,54],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[190,55]},[]],"tag":"TypeVar","contents":"c"}]}]}]},270]},271]},272]}}},{"EDValue":{"edValueName":{"Ident":"uncurry"},"edValueType":{"annotation":[{"start":[194,12],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,57]},[]],"tag":"ForAll","contents":["c",{"annotation":[{"start":[194,19],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,57]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[194,19],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,57]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[194,26],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,57]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[194,26],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,57]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[194,40],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[194,27],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,38]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[194,27],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,38]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[194,29],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,31]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[194,27],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,28]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[194,32],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,38]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[194,32],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,38]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[194,34],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,36]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[194,32],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,33]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[194,37],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,38]},[]],"tag":"TypeVar","contents":"c"}]}]}]},{"annotation":[{"start":[194,43],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,57]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[194,43],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,57]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[194,53],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,55]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[194,43],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,52]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[194,43],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[194,43],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,48]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[194,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,50]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[194,51],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,52]},[]],"tag":"TypeVar","contents":"b"}]}]},{"annotation":[{"start":[194,56],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[194,57]},[]],"tag":"TypeVar","contents":"c"}]}]},0]},1]},2]}}},{"EDValue":{"edValueName":{"Ident":"swap"},"edValueType":{"annotation":[{"start":[198,9],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,43]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[198,16],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,43]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[198,21],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,43]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[198,21],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,43]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[198,31],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[198,21],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[198,21],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,28]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[198,21],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,26]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[198,27],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,28]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[198,29],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,30]},[]],"tag":"TypeVar","contents":"b"}]}]},{"annotation":[{"start":[198,34],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,43]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[198,34],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,41]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[198,34],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,39]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[198,40],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,41]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[198,42],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[198,43]},[]],"tag":"TypeVar","contents":"a"}]}]},97]},98]}}},{"EDValue":{"edValueName":{"Ident":"lookup"},"edValueType":{"annotation":[{"start":[202,11],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,76]},[]],"tag":"ForAll","contents":["f",{"annotation":[{"start":[202,18],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,76]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[202,18],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,76]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[202,25],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,76]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[202,25],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,35]},[]],"constraintClass":[["Data","Foldable"],"Foldable"],"constraintArgs":[{"annotation":[{"start":[202,34],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,35]},[]],"tag":"TypeVar","contents":"f"}],"constraintData":null},{"annotation":[{"start":[202,39],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,76]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[202,39],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,43]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[202,42],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,43]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[202,47],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,76]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[202,47],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,76]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[202,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,51]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[202,47],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,48]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[202,52],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,76]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[202,52],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,76]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[202,66],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,68]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[202,52],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,65]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[202,52],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,53]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[202,55],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,64]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[202,55],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[202,55],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,60]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[202,61],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,62]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[202,63],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,64]},[]],"tag":"TypeVar","contents":"b"}]}]}]},{"annotation":[{"start":[202,69],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,76]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[202,69],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,74]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[202,75],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[202,76]},[]],"tag":"TypeVar","contents":"b"}]}]}]}]}]},153]},154]},155]}}},{"EDInstance":{"edInstanceClassName":[["Data","Show"],"Show"],"edInstanceName":{"Ident":"showTuple"},"edInstanceTypes":[{"annotation":[{"start":[36,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[36,58]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[36,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[36,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[36,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[36,54]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[36,55],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[36,56]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[36,57],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[36,58]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[36,24],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[36,30]},[]],"constraintClass":[["Data","Show"],"Show"],"constraintArgs":[{"annotation":[{"start":[36,29],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[36,30]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[36,32],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[36,38]},[]],"constraintClass":[["Data","Show"],"Show"],"constraintArgs":[{"annotation":[{"start":[36,37],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[36,38]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"showTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqTuple"},"edInstanceTypes":[{"annotation":[{"start":[41,48],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[41,57]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[41,48],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[41,55]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[41,48],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[41,53]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[41,54],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[41,55]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[41,56],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[41,57]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[41,29],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[41,33]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[41,32],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[41,33]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[41,35],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[41,39]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[41,38],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[41,39]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"eqTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq1"],"edInstanceName":{"Ident":"eq1Tuple"},"edInstanceTypes":[{"annotation":[{"start":[43,42],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[43,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,42],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[43,47]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[43,48],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[43,49]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[43,29],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[43,33]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[43,32],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[43,33]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"eq1Tuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ord"],"Ord"],"edInstanceName":{"Ident":"ordTuple"},"edInstanceTypes":[{"annotation":[{"start":[49,52],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[49,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[49,52],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[49,59]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[49,52],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[49,57]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[49,58],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[49,59]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[49,60],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[49,61]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[49,30],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[49,35]},[]],"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"annotation":[{"start":[49,34],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[49,35]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[49,37],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[49,42]},[]],"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"annotation":[{"start":[49,41],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[49,42]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"ordTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ord"],"Ord1"],"edInstanceName":{"Ident":"ord1Tuple"},"edInstanceTypes":[{"annotation":[{"start":[51,45],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[51,52]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[51,45],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[51,50]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[51,51],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[51,52]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[51,30],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[51,35]},[]],"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"annotation":[{"start":[51,34],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[51,35]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"ord1Tuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Bounded"],"Bounded"],"edInstanceName":{"Ident":"boundedTuple"},"edInstanceTypes":[{"annotation":[{"start":[53,61],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[53,70]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[53,61],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[53,68]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[53,61],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[53,66]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[53,67],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[53,68]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[53,69],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[53,70]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[53,27],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[53,36]},[]],"constraintClass":[["Data","Bounded"],"Bounded"],"constraintArgs":[{"annotation":[{"start":[53,35],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[53,36]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[53,38],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[53,47]},[]],"constraintClass":[["Data","Bounded"],"Bounded"],"constraintArgs":[{"annotation":[{"start":[53,46],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[53,47]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"boundedTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Semigroupoid"],"Semigroupoid"],"edInstanceName":{"Ident":"semigroupoidTuple"},"edInstanceTypes":[{"annotation":[{"start":[57,44],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[57,49]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"semigroupoidTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semigroup"],"Semigroup"],"edInstanceName":{"Ident":"semigroupTuple"},"edInstanceTypes":[{"annotation":[{"start":[66,69],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[66,78]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,69],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[66,76]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,69],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[66,74]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[66,75],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[66,76]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[66,77],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[66,78]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[66,29],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[66,40]},[]],"constraintClass":[["Data","Semigroup"],"Semigroup"],"constraintArgs":[{"annotation":[{"start":[66,39],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[66,40]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[66,42],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[66,53]},[]],"constraintClass":[["Data","Semigroup"],"Semigroup"],"constraintArgs":[{"annotation":[{"start":[66,52],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[66,53]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"semigroupTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidTuple"},"edInstanceTypes":[{"annotation":[{"start":[69,57],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[69,66]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[69,57],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[69,64]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[69,57],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[69,62]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[69,63],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[69,64]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[69,65],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[69,66]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[69,26],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[69,34]},[]],"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"annotation":[{"start":[69,33],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[69,34]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[69,36],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[69,44]},[]],"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"annotation":[{"start":[69,43],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[69,44]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"monoidTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semiring"],"Semiring"],"edInstanceName":{"Ident":"semiringTuple"},"edInstanceTypes":[{"annotation":[{"start":[72,65],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[72,74]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[72,65],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[72,72]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[72,65],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[72,70]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[72,71],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[72,72]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[72,73],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[72,74]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[72,28],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[72,38]},[]],"constraintClass":[["Data","Semiring"],"Semiring"],"constraintArgs":[{"annotation":[{"start":[72,37],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[72,38]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[72,40],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[72,50]},[]],"constraintClass":[["Data","Semiring"],"Semiring"],"constraintArgs":[{"annotation":[{"start":[72,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[72,50]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"semiringTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ring"],"Ring"],"edInstanceName":{"Ident":"ringTuple"},"edInstanceTypes":[{"annotation":[{"start":[78,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[78,58]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[78,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[78,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[78,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[78,54]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[78,55],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[78,56]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[78,57],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[78,58]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[78,24],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[78,30]},[]],"constraintClass":[["Data","Ring"],"Ring"],"constraintArgs":[{"annotation":[{"start":[78,29],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[78,30]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[78,32],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[78,38]},[]],"constraintClass":[["Data","Ring"],"Ring"],"constraintArgs":[{"annotation":[{"start":[78,37],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[78,38]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"ringTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","CommutativeRing"],"CommutativeRing"],"edInstanceName":{"Ident":"commutativeRingTuple"},"edInstanceTypes":[{"annotation":[{"start":[81,93],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[81,102]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[81,93],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[81,100]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[81,93],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[81,98]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[81,99],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[81,100]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[81,101],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[81,102]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[81,35],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[81,52]},[]],"constraintClass":[["Data","CommutativeRing"],"CommutativeRing"],"constraintArgs":[{"annotation":[{"start":[81,51],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[81,52]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[81,54],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[81,71]},[]],"constraintClass":[["Data","CommutativeRing"],"CommutativeRing"],"constraintArgs":[{"annotation":[{"start":[81,70],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[81,71]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"commutativeRingTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraTuple"},"edInstanceTypes":[{"annotation":[{"start":[83,89],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[83,98]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[83,89],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[83,96]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[83,89],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[83,94]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[83,95],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[83,96]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[83,97],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[83,98]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[83,34],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[83,50]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[83,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[83,50]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[83,52],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[83,68]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[83,67],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[83,68]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"heytingAlgebraTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"edInstanceName":{"Ident":"booleanAlgebraTuple"},"edInstanceTypes":[{"annotation":[{"start":[91,89],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[91,98]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,89],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[91,96]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,89],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[91,94]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[91,95],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[91,96]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[91,97],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[91,98]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[91,34],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[91,50]},[]],"constraintClass":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"constraintArgs":[{"annotation":[{"start":[91,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[91,50]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[91,52],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[91,68]},[]],"constraintClass":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"constraintArgs":[{"annotation":[{"start":[91,67],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[91,68]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"booleanAlgebraTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Functor"],"Functor"],"edInstanceName":{"Ident":"functorTuple"},"edInstanceTypes":[{"annotation":[{"start":[99,42],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[99,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[99,42],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[99,47]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[99,48],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[99,49]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"functorTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","FunctorWithIndex"],"FunctorWithIndex"],"edInstanceName":{"Ident":"functorWithIndexTuple"},"edInstanceTypes":[{"annotation":[{"start":[101,52],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[101,56]},[]],"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]},{"annotation":[{"start":[101,58],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[101,65]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[101,58],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[101,63]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[101,64],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[101,65]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"functorWithIndexTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Functor","Invariant"],"Invariant"],"edInstanceName":{"Ident":"invariantTuple"},"edInstanceTypes":[{"annotation":[{"start":[104,39],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[104,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[104,39],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[104,44]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[104,45],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[104,46]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"invariantTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Bifunctor"],"Bifunctor"],"edInstanceName":{"Ident":"bifunctorTuple"},"edInstanceTypes":[{"annotation":[{"start":[107,38],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[107,43]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"bifunctorTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Apply"],"Apply"],"edInstanceName":{"Ident":"applyTuple"},"edInstanceTypes":[{"annotation":[{"start":[116,48],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[116,55]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[116,48],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[116,53]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[116,54],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[116,55]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[116,25],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[116,36]},[]],"constraintClass":[["Data","Semigroup"],"Semigroup"],"constraintArgs":[{"annotation":[{"start":[116,35],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[116,36]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"applyTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Biapply"],"Biapply"],"edInstanceName":{"Ident":"biapplyTuple"},"edInstanceTypes":[{"annotation":[{"start":[119,34],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[119,39]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"biapplyTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Applicative"],"Applicative"],"edInstanceName":{"Ident":"applicativeTuple"},"edInstanceTypes":[{"annotation":[{"start":[122,57],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[122,64]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[122,57],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[122,62]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[122,63],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[122,64]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[122,31],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[122,39]},[]],"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"annotation":[{"start":[122,38],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[122,39]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"applicativeTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Biapplicative"],"Biapplicative"],"edInstanceName":{"Ident":"biapplicativeTuple"},"edInstanceTypes":[{"annotation":[{"start":[125,46],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[125,51]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"biapplicativeTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Bind"],"Bind"],"edInstanceName":{"Ident":"bindTuple"},"edInstanceTypes":[{"annotation":[{"start":[128,46],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[128,53]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[128,46],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[128,51]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[128,52],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[128,53]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[128,24],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[128,35]},[]],"constraintClass":[["Data","Semigroup"],"Semigroup"],"constraintArgs":[{"annotation":[{"start":[128,34],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[128,35]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"bindTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Monad"],"Monad"],"edInstanceName":{"Ident":"monadTuple"},"edInstanceTypes":[{"annotation":[{"start":[132,45],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[132,52]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[132,45],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[132,50]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[132,51],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[132,52]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[132,25],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[132,33]},[]],"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"annotation":[{"start":[132,32],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[132,33]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"monadTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Extend"],"Extend"],"edInstanceName":{"Ident":"extendTuple"},"edInstanceTypes":[{"annotation":[{"start":[134,33],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[134,40]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[134,33],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[134,38]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[134,39],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[134,40]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"extendTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Comonad"],"Comonad"],"edInstanceName":{"Ident":"comonadTuple"},"edInstanceTypes":[{"annotation":[{"start":[137,35],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[137,42]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[137,35],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[137,40]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[137,41],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[137,42]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"comonadTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Lazy"],"Lazy"],"edInstanceName":{"Ident":"lazyTuple"},"edInstanceTypes":[{"annotation":[{"start":[140,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[140,58]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[140,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[140,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[140,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[140,54]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[140,55],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[140,56]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[140,57],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[140,58]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[140,24],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[140,30]},[]],"constraintClass":[["Control","Lazy"],"Lazy"],"constraintArgs":[{"annotation":[{"start":[140,29],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[140,30]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[140,32],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[140,38]},[]],"constraintClass":[["Control","Lazy"],"Lazy"],"constraintArgs":[{"annotation":[{"start":[140,37],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[140,38]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"lazyTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Foldable"],"Foldable"],"edInstanceName":{"Ident":"foldableTuple"},"edInstanceTypes":[{"annotation":[{"start":[143,37],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[143,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[143,37],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[143,42]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[143,43],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[143,44]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"foldableTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semigroup","Foldable"],"Foldable1"],"edInstanceName":{"Ident":"foldable1Tuple"},"edInstanceTypes":[{"annotation":[{"start":[148,39],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[148,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[148,39],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[148,44]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[148,45],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[148,46]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"foldable1Tuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","FoldableWithIndex"],"FoldableWithIndex"],"edInstanceName":{"Ident":"foldableWithIndexTuple"},"edInstanceTypes":[{"annotation":[{"start":[152,54],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[152,58]},[]],"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]},{"annotation":[{"start":[152,60],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[152,67]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[152,60],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[152,65]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[152,66],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[152,67]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"foldableWithIndexTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Bifoldable"],"Bifoldable"],"edInstanceName":{"Ident":"bifoldableTuple"},"edInstanceTypes":[{"annotation":[{"start":[157,40],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[157,45]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"bifoldableTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Traversable"],"Traversable"],"edInstanceName":{"Ident":"traversableTuple"},"edInstanceTypes":[{"annotation":[{"start":[162,43],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[162,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[162,43],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[162,48]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[162,49],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[162,50]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"traversableTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semigroup","Traversable"],"Traversable1"],"edInstanceName":{"Ident":"traversable1Tuple"},"edInstanceTypes":[{"annotation":[{"start":[166,45],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[166,52]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[166,45],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[166,50]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[166,51],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[166,52]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"traversable1Tuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","TraversableWithIndex"],"TraversableWithIndex"],"edInstanceName":{"Ident":"traversableWithIndexTuple"},"edInstanceTypes":[{"annotation":[{"start":[170,60],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[170,64]},[]],"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]},{"annotation":[{"start":[170,66],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[170,73]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[170,66],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[170,71]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[170,72],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[170,73]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"traversableWithIndexTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Bitraversable"],"Bitraversable"],"edInstanceName":{"Ident":"bitraversableTuple"},"edInstanceTypes":[{"annotation":[{"start":[173,46],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[173,51]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Tuple"],{"Ident":"bitraversableTuple"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Distributive"],"Distributive"],"edInstanceName":{"Ident":"distributiveTuple"},"edInstanceTypes":[{"annotation":[{"start":[177,66],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[177,73]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[177,66],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[177,71]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[177,72],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[177,73]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[177,31],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[177,48]},[]],"constraintClass":[["Type","Equality"],"TypeEquals"],"constraintArgs":[{"annotation":[{"start":[177,42],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[177,43]},[]],"tag":"TypeVar","contents":"a"},{"annotation":[{"start":[177,44],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[177,48]},[]],"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}],"constraintData":null}],"edInstanceChain":[[["Data","Tuple"],{"Ident":"distributiveTuple"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[2,1],"name":".spago/tuples/v5.1.0/src/Data/Tuple.purs","end":[203,91]}}