{"efVersion":"0.10.5","efModuleName":["Test","QuickCheck","Arbitrary"],"efExports":[{"TypeClassRef":"Arbitrary"},{"TypeClassRef":"Coarbitrary"},{"ValueRef":{"Ident":"arbitrary"}},{"ValueRef":{"Ident":"coarbitrary"}},{"TypeInstanceRef":{"Ident":"arbBoolean"}},{"TypeInstanceRef":{"Ident":"coarbBoolean"}},{"TypeInstanceRef":{"Ident":"arbNumber"}},{"TypeInstanceRef":{"Ident":"coarbNumber"}},{"TypeInstanceRef":{"Ident":"arbInt"}},{"TypeInstanceRef":{"Ident":"coarbInt"}},{"TypeInstanceRef":{"Ident":"arbString"}},{"TypeInstanceRef":{"Ident":"coarbString"}},{"TypeInstanceRef":{"Ident":"arbChar"}},{"TypeInstanceRef":{"Ident":"coarbChar"}},{"TypeInstanceRef":{"Ident":"arbUnit"}},{"TypeInstanceRef":{"Ident":"coarbUnit"}},{"TypeInstanceRef":{"Ident":"arbOrdering"}},{"TypeInstanceRef":{"Ident":"coarbOrdering"}},{"TypeInstanceRef":{"Ident":"arbArray"}},{"TypeInstanceRef":{"Ident":"coarbArray"}},{"TypeInstanceRef":{"Ident":"arbFunction"}},{"TypeInstanceRef":{"Ident":"coarbFunction"}},{"TypeInstanceRef":{"Ident":"arbTuple"}},{"TypeInstanceRef":{"Ident":"coarbTuple"}},{"TypeInstanceRef":{"Ident":"arbMaybe"}},{"TypeInstanceRef":{"Ident":"coarbMaybe"}},{"TypeInstanceRef":{"Ident":"arbEither"}},{"TypeInstanceRef":{"Ident":"coarbEither"}},{"TypeInstanceRef":{"Ident":"arbitraryList"}},{"TypeInstanceRef":{"Ident":"coarbList"}},{"TypeInstanceRef":{"Ident":"arbitraryIdentity"}},{"TypeInstanceRef":{"Ident":"coarbIdentity"}},{"TypeInstanceRef":{"Ident":"arbitraryLazy"}},{"TypeInstanceRef":{"Ident":"coarbLazy"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Char"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[10,19],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[10,29]},[],{"ValueRef":{"Ident":"toCharCode"}}]},{"PositionedDeclarationRef":[{"start":[10,31],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[10,43]},[],{"ValueRef":{"Ident":"fromCharCode"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Either"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[11,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[11,31]},[],{"TypeRef":["Either",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Foldable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[12,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[12,28]},[],{"ValueRef":{"Ident":"foldl"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Identity"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[13,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[13,35]},[],{"TypeRef":["Identity",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Int"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[14,18],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[14,26]},[],{"ValueRef":{"Ident":"toNumber"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Lazy"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[15,19],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[15,23]},[],{"TypeRef":["Lazy",[]]}]},{"PositionedDeclarationRef":[{"start":[15,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[15,30]},[],{"ValueRef":{"Ident":"defer"}}]},{"PositionedDeclarationRef":[{"start":[15,32],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[15,37]},[],{"ValueRef":{"Ident":"force"}}]}]},"eiImportedAs":null},{"eiModule":["Data","List"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[16,19],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[16,23]},[],{"TypeRef":["List",[]]}]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[17,20],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[17,29]},[],{"TypeRef":["Maybe",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Newtype"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[18,22],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[18,26]},[],{"ValueRef":{"Ident":"wrap"}}]}]},"eiImportedAs":null},{"eiModule":["Data","String"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[19,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[19,31]},[],{"ValueRef":{"Ident":"charCodeAt"}}]},{"PositionedDeclarationRef":[{"start":[19,33],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[19,46]},[],{"ValueRef":{"Ident":"fromCharArray"}}]},{"PositionedDeclarationRef":[{"start":[19,48],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[19,53]},[],{"ValueRef":{"Ident":"split"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Tuple"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[20,20],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[20,29]},[],{"TypeRef":["Tuple",null]}]}]},"eiImportedAs":null},{"eiModule":["Test","QuickCheck","Gen"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[22,29],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[22,32]},[],{"TypeRef":["Gen",[]]}]},{"PositionedDeclarationRef":[{"start":[22,34],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[22,40]},[],{"ValueRef":{"Ident":"listOf"}}]},{"PositionedDeclarationRef":[{"start":[22,42],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[22,51]},[],{"ValueRef":{"Ident":"chooseInt"}}]},{"PositionedDeclarationRef":[{"start":[22,53],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[22,58]},[],{"ValueRef":{"Ident":"sized"}}]},{"PositionedDeclarationRef":[{"start":[22,60],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[22,70]},[],{"ValueRef":{"Ident":"perturbGen"}}]},{"PositionedDeclarationRef":[{"start":[22,72],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[22,82]},[],{"ValueRef":{"Ident":"repeatable"}}]},{"PositionedDeclarationRef":[{"start":[22,84],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[22,91]},[],{"ValueRef":{"Ident":"arrayOf"}}]},{"PositionedDeclarationRef":[{"start":[22,93],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[22,98]},[],{"ValueRef":{"Ident":"oneOf"}}]},{"PositionedDeclarationRef":[{"start":[22,100],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Arbitrary.purs","end":[22,107]},[],{"ValueRef":{"Ident":"uniform"}}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Arbitrary","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymName":"Arbitrary","edTypeSynonymArguments":[["t",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["arbitrary",{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"t"}]},{"tag":"REmpty","contents":[]}]}]}}},{"EDClass":{"edClassName":"Arbitrary","edClassTypeArguments":[["t",null]],"edClassMembers":[[{"Ident":"arbitrary"},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"t"}]}]],"edClassConstraints":[],"edFunctionalDependencies":[]}},{"EDType":{"edTypeName":"Coarbitrary","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymName":"Coarbitrary","edTypeSynonymArguments":[["t",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["coarbitrary",{"tag":"ForAll","contents":["r",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"t"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"r"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"r"}]}]}]},null]},{"tag":"REmpty","contents":[]}]}]}}},{"EDClass":{"edClassName":"Coarbitrary","edClassTypeArguments":[["t",null]],"edClassMembers":[[{"Ident":"coarbitrary"},{"tag":"ForAll","contents":["r",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"t"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"r"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"r"}]}]}]},null]}]],"edClassConstraints":[],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"arbitrary"},"edValueType":{"tag":"ForAll","contents":["t",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"t"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"t"}]}]},49]}}},{"EDValue":{"edValueName":{"Ident":"coarbitrary"},"edValueType":{"tag":"ForAll","contents":["t",{"tag":"ForAll","contents":["r",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"t"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"t"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"r"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"r"}]}]}]}]},0]},1]}}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbBoolean"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbBoolean"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbNumber"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbNumber"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbInt"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbInt"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbString"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"String"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbString"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"String"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbChar"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Char"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbChar"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Char"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbUnit"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbUnit"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbOrdering"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Ordering"],"Ordering"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbOrdering"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Ordering"],"Ordering"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbArray"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbArray"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbFunction"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbFunction"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbTuple"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbMaybe"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbMaybe"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbEither"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Either"],"Either"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbEither"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Either"],"Either"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbitraryList"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","List","Types"],"List"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbList"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","List","Types"],"List"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbitraryIdentity"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Identity"],"Identity"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbIdentity"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Identity"],"Identity"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"edInstanceName":{"Ident":"arbitraryLazy"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Lazy"],"Lazy"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"edInstanceName":{"Ident":"coarbLazy"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Lazy"],"Lazy"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Coarbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}}]}