{"efVersion":"0.10.5","efModuleName":["Data","Tuple"],"efExports":[{"TypeRef":["Tuple",["Tuple"]]},{"ValueRef":{"Ident":"curry"}},{"ValueRef":{"Ident":"fst"}},{"ValueRef":{"Ident":"lookup"}},{"ValueRef":{"Ident":"snd"}},{"ValueRef":{"Ident":"swap"}},{"ValueRef":{"Ident":"uncurry"}},{"TypeInstanceRef":{"Ident":"showTuple"}},{"TypeInstanceRef":{"Ident":"eqTuple"}},{"TypeInstanceRef":{"Ident":"ordTuple"}},{"TypeInstanceRef":{"Ident":"boundedTuple"}},{"TypeInstanceRef":{"Ident":"semigroupoidTuple"}},{"TypeInstanceRef":{"Ident":"semigroupTuple"}},{"TypeInstanceRef":{"Ident":"monoidTuple"}},{"TypeInstanceRef":{"Ident":"semiringTuple"}},{"TypeInstanceRef":{"Ident":"ringTuple"}},{"TypeInstanceRef":{"Ident":"commutativeRingTuple"}},{"TypeInstanceRef":{"Ident":"heytingAlgebraTuple"}},{"TypeInstanceRef":{"Ident":"booleanAlgebraTuple"}},{"TypeInstanceRef":{"Ident":"functorTuple"}},{"TypeInstanceRef":{"Ident":"invariantTuple"}},{"TypeInstanceRef":{"Ident":"bifunctorTuple"}},{"TypeInstanceRef":{"Ident":"applyTuple"}},{"TypeInstanceRef":{"Ident":"biapplyTuple"}},{"TypeInstanceRef":{"Ident":"applicativeTuple"}},{"TypeInstanceRef":{"Ident":"biapplicativeTuple"}},{"TypeInstanceRef":{"Ident":"bindTuple"}},{"TypeInstanceRef":{"Ident":"monadTuple"}},{"TypeInstanceRef":{"Ident":"extendTuple"}},{"TypeInstanceRef":{"Ident":"comonadTuple"}},{"TypeInstanceRef":{"Ident":"lazyTuple"}},{"TypeInstanceRef":{"Ident":"foldableTuple"}},{"TypeInstanceRef":{"Ident":"bifoldableTuple"}},{"TypeInstanceRef":{"Ident":"traversableTuple"}},{"TypeInstanceRef":{"Ident":"bitraversableTuple"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Biapplicative"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[6,31],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[6,50]},[],{"TypeClassRef":"Biapplicative"}]}]},"eiImportedAs":null},{"eiModule":["Control","Biapply"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[7,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[7,38]},[],{"TypeClassRef":"Biapply"}]}]},"eiImportedAs":null},{"eiModule":["Control","Comonad"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[8,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[8,38]},[],{"TypeClassRef":"Comonad"}]}]},"eiImportedAs":null},{"eiModule":["Control","Extend"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[9,24],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[9,36]},[],{"TypeClassRef":"Extend"}]}]},"eiImportedAs":null},{"eiModule":["Control","Lazy"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[10,22],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[10,32]},[],{"TypeClassRef":"Lazy"}]},{"PositionedDeclarationRef":[{"start":[10,34],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[10,39]},[],{"ValueRef":{"Ident":"defer"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Bifoldable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[12,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[12,41]},[],{"TypeClassRef":"Bifoldable"}]}]},"eiImportedAs":null},{"eiModule":["Data","Bifunctor"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[13,24],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[13,39]},[],{"TypeClassRef":"Bifunctor"}]}]},"eiImportedAs":null},{"eiModule":["Data","Bitraversable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[14,28],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[14,47]},[],{"TypeClassRef":"Bitraversable"}]}]},"eiImportedAs":null},{"eiModule":["Data","Foldable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[15,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[15,37]},[],{"TypeClassRef":"Foldable"}]},{"PositionedDeclarationRef":[{"start":[15,39],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[15,46]},[],{"ValueRef":{"Ident":"foldMap"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Functor","Invariant"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[16,32],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[16,47]},[],{"TypeClassRef":"Invariant"}]},{"PositionedDeclarationRef":[{"start":[16,49],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[16,54]},[],{"ValueRef":{"Ident":"imapF"}}]}]},"eiImportedAs":null},{"eiModule":["Data","HeytingAlgebra"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[17,29],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[17,36]},[],{"ValueRef":{"Ident":"implies"}}]},{"PositionedDeclarationRef":[{"start":[17,38],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[17,40]},[],{"ValueRef":{"Ident":"ff"}}]},{"PositionedDeclarationRef":[{"start":[17,42],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[17,44]},[],{"ValueRef":{"Ident":"tt"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[18,20],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[18,29]},[],{"TypeRef":["Maybe",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe","First"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[19,26],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[19,35]},[],{"TypeRef":["First",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Monoid"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[20,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[20,33]},[],{"TypeClassRef":"Monoid"}]},{"PositionedDeclarationRef":[{"start":[20,35],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[20,41]},[],{"ValueRef":{"Ident":"mempty"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Newtype"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[21,22],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[21,28]},[],{"ValueRef":{"Ident":"unwrap"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Traversable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[22,26],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-tuples/src/Data/Tuple.purs","end":[22,43]},[],{"TypeClassRef":"Traversable"}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Tuple","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]},"edTypeDeclarationKind":{"DataType":[[["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}],["b",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],[["Tuple",[{"tag":"TypeVar","contents":"a"},{"tag":"TypeVar","contents":"b"}]]]]}}},{"EDDataConstructor":{"edDataCtorName":"Tuple","edDataCtorOrigin":"data","edDataCtorTypeCtor":"Tuple","edDataCtorType":{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}]}]},null]},null]},"edDataCtorFields":[{"Ident":"value0"},{"Ident":"value1"}]}},{"EDValue":{"edValueName":{"Ident":"curry"},"edValueType":{"tag":"ForAll","contents":["c",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeVar","contents":"c"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeVar","contents":"c"}]}]}]},134]},135]},136]}}},{"EDValue":{"edValueName":{"Ident":"fst"},"edValueType":{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeVar","contents":"a"}]},100]},101]}}},{"EDValue":{"edValueName":{"Ident":"lookup"},"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Foldable"],"Foldable"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null},{"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"tag":"TypeVar","contents":"b"}]}]}]}]},77]},78]},79]}}},{"EDValue":{"edValueName":{"Ident":"snd"},"edValueType":{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeVar","contents":"b"}]},30]},31]}}},{"EDValue":{"edValueName":{"Ident":"swap"},"edValueType":{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeVar","contents":"a"}]}]},26]},27]}}},{"EDValue":{"edValueName":{"Ident":"uncurry"},"edValueType":{"tag":"ForAll","contents":["c",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeVar","contents":"c"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeVar","contents":"c"}]}]},0]},1]},2]}}},{"EDInstance":{"edInstanceClassName":[["Data","Show"],"Show"],"edInstanceName":{"Ident":"showTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Show"],"Show"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","Show"],"Show"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Ord"],"Ord"],"edInstanceName":{"Ident":"ordTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Bounded"],"Bounded"],"edInstanceName":{"Ident":"boundedTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Bounded"],"Bounded"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","Bounded"],"Bounded"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Semigroupoid"],"Semigroupoid"],"edInstanceName":{"Ident":"semigroupoidTuple"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Semigroup"],"Semigroup"],"edInstanceName":{"Ident":"semigroupTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Semigroup"],"Semigroup"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","Semigroup"],"Semigroup"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Semiring"],"Semiring"],"edInstanceName":{"Ident":"semiringTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Semiring"],"Semiring"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","Semiring"],"Semiring"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Ring"],"Ring"],"edInstanceName":{"Ident":"ringTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Ring"],"Ring"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","Ring"],"Ring"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","CommutativeRing"],"CommutativeRing"],"edInstanceName":{"Ident":"commutativeRingTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","CommutativeRing"],"CommutativeRing"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","CommutativeRing"],"CommutativeRing"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"edInstanceName":{"Ident":"booleanAlgebraTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Functor"],"Functor"],"edInstanceName":{"Ident":"functorTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Functor","Invariant"],"Invariant"],"edInstanceName":{"Ident":"invariantTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Bifunctor"],"Bifunctor"],"edInstanceName":{"Ident":"bifunctorTuple"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Apply"],"Apply"],"edInstanceName":{"Ident":"applyTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Semigroup"],"Semigroup"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Biapply"],"Biapply"],"edInstanceName":{"Ident":"biapplyTuple"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Applicative"],"Applicative"],"edInstanceName":{"Ident":"applicativeTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Biapplicative"],"Biapplicative"],"edInstanceName":{"Ident":"biapplicativeTuple"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Bind"],"Bind"],"edInstanceName":{"Ident":"bindTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Semigroup"],"Semigroup"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad"],"Monad"],"edInstanceName":{"Ident":"monadTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Extend"],"Extend"],"edInstanceName":{"Ident":"extendTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Comonad"],"Comonad"],"edInstanceName":{"Ident":"comonadTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Lazy"],"Lazy"],"edInstanceName":{"Ident":"lazyTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Lazy"],"Lazy"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Control","Lazy"],"Lazy"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Foldable"],"Foldable"],"edInstanceName":{"Ident":"foldableTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Bifoldable"],"Bifoldable"],"edInstanceName":{"Ident":"bifoldableTuple"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Traversable"],"Traversable"],"edInstanceName":{"Ident":"traversableTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Bitraversable"],"Bitraversable"],"edInstanceName":{"Ident":"bitraversableTuple"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]}],"edInstanceConstraints":[]}}]}