{"efVersion":"0.10.5","efModuleName":["Test","QuickCheck"],"efExports":[{"TypeRef":["QC",[]]},{"TypeRef":["Result",["Success","Failed"]]},{"ReExportRef":[["Test","QuickCheck","LCG"],{"TypeRef":["Seed",[]]}]},{"ReExportRef":[["Test","QuickCheck","Arbitrary"],{"TypeClassRef":"Arbitrary"}]},{"ReExportRef":[["Test","QuickCheck","Arbitrary"],{"TypeClassRef":"Coarbitrary"}]},{"TypeClassRef":"Testable"},{"ReExportRef":[["Test","QuickCheck","Arbitrary"],{"ValueRef":{"Ident":"arbitrary"}}]},{"ValueRef":{"Ident":"assertEquals"}},{"ValueRef":{"Ident":"assertNotEquals"}},{"ReExportRef":[["Test","QuickCheck","Arbitrary"],{"ValueRef":{"Ident":"coarbitrary"}}]},{"ValueRef":{"Ident":"quickCheck"}},{"ValueRef":{"Ident":"quickCheck'"}},{"ValueRef":{"Ident":"quickCheckPure"}},{"ValueRef":{"Ident":"quickCheckWithSeed"}},{"ReExportRef":[["Test","QuickCheck","LCG"],{"ValueRef":{"Ident":"randomSeed"}}]},{"ReExportRef":[["Test","QuickCheck","LCG"],{"ValueRef":{"Ident":"runSeed"}}]},{"ValueRef":{"Ident":"test"}},{"ValueRef":{"Ident":"withHelp"}},{"ValueOpRef":"/=="},{"ValueOpRef":"<?>"},{"ValueOpRef":"==="},{"PositionedDeclarationRef":[{"start":[33,5],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[33,31]},[],{"ModuleRef":["Test","QuickCheck","LCG"]}]},{"PositionedDeclarationRef":[{"start":[34,5],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[34,37]},[],{"ModuleRef":["Test","QuickCheck","Arbitrary"]}]},{"TypeInstanceRef":{"Ident":"testableResult"}},{"TypeInstanceRef":{"Ident":"testableBoolean"}},{"TypeInstanceRef":{"Ident":"testableFunction"}},{"TypeInstanceRef":{"Ident":"testableGen"}},{"TypeInstanceRef":{"Ident":"showResult"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[39,27],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[39,30]},[],{"TypeRef":["Eff",[]]}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff","Console"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[40,35],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[40,42]},[],{"TypeRef":["CONSOLE",[]]}]},{"PositionedDeclarationRef":[{"start":[40,44],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[40,47]},[],{"ValueRef":{"Ident":"log"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff","Exception"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[41,37],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[41,46]},[],{"TypeRef":["EXCEPTION",[]]}]},{"PositionedDeclarationRef":[{"start":[41,48],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[41,62]},[],{"ValueRef":{"Ident":"throwException"}}]},{"PositionedDeclarationRef":[{"start":[41,64],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[41,69]},[],{"ValueRef":{"Ident":"error"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff","Random"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[42,34],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[42,40]},[],{"TypeRef":["RANDOM",[]]}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Rec","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[43,33],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[43,41]},[],{"TypeRef":["Step",null]}]},{"PositionedDeclarationRef":[{"start":[43,43],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[43,50]},[],{"ValueRef":{"Ident":"tailRec"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Foldable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[45,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[45,27]},[],{"ValueRef":{"Ident":"for_"}}]}]},"eiImportedAs":null},{"eiModule":["Data","List"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[46,19],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[46,23]},[],{"TypeRef":["List",[]]}]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[47,20],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[47,29]},[],{"TypeRef":["Maybe",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe","First"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[48,26],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[48,35]},[],{"TypeRef":["First",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Monoid"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[49,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[49,27]},[],{"ValueRef":{"Ident":"mempty"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Tuple"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[50,20],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[50,29]},[],{"TypeRef":["Tuple",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Unfoldable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[51,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[51,35]},[],{"ValueRef":{"Ident":"replicateA"}}]}]},"eiImportedAs":null},{"eiModule":["Test","QuickCheck","Arbitrary"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[53,35],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[53,50]},[],{"TypeClassRef":"Arbitrary"}]},{"PositionedDeclarationRef":[{"start":[53,52],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[53,61]},[],{"ValueRef":{"Ident":"arbitrary"}}]},{"PositionedDeclarationRef":[{"start":[53,63],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[53,80]},[],{"TypeClassRef":"Coarbitrary"}]},{"PositionedDeclarationRef":[{"start":[53,82],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[53,93]},[],{"ValueRef":{"Ident":"coarbitrary"}}]}]},"eiImportedAs":null},{"eiModule":["Test","QuickCheck","Gen"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[54,29],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[54,32]},[],{"TypeRef":["Gen",[]]}]},{"PositionedDeclarationRef":[{"start":[54,34],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[54,41]},[],{"ValueRef":{"Ident":"evalGen"}}]},{"PositionedDeclarationRef":[{"start":[54,43],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[54,49]},[],{"ValueRef":{"Ident":"runGen"}}]}]},"eiImportedAs":null},{"eiModule":["Test","QuickCheck","LCG"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[55,29],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[55,33]},[],{"TypeRef":["Seed",[]]}]},{"PositionedDeclarationRef":[{"start":[55,35],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[55,42]},[],{"ValueRef":{"Ident":"runSeed"}}]},{"PositionedDeclarationRef":[{"start":[55,44],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[55,54]},[],{"ValueRef":{"Ident":"randomSeed"}}]}]},"eiImportedAs":null}],"efFixities":[{"efAssociativity":"infix","efPrecedence":2,"efOperator":"<?>","efAlias":[["Test","QuickCheck"],{"Left":{"Ident":"withHelp"}}]},{"efAssociativity":"infix","efPrecedence":2,"efOperator":"===","efAlias":[["Test","QuickCheck"],{"Left":{"Ident":"assertEquals"}}]},{"efAssociativity":"infix","efPrecedence":2,"efOperator":"/==","efAlias":[["Test","QuickCheck"],{"Left":{"Ident":"assertNotEquals"}}]}],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"QC","edTypeKind":{"tag":"FunKind","contents":[{"tag":"Row","contents":{"tag":"NamedKind","contents":[["Prim"],"Effect"]}},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymName":"QC","edTypeSynonymArguments":[["eff",{"tag":"Row","contents":{"tag":"NamedKind","contents":[["Prim"],"Effect"]}}],["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Eff"],"Eff"]},{"tag":"RCons","contents":["console",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Console"],"CONSOLE"]},{"tag":"RCons","contents":["random",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Random"],"RANDOM"]},{"tag":"RCons","contents":["err",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Exception"],"EXCEPTION"]},{"tag":"TypeVar","contents":"eff"}]}]}]}]},{"tag":"TypeVar","contents":"a"}]}}},{"EDType":{"edTypeName":"Result","edTypeKind":{"tag":"NamedKind","contents":[["Prim"],"Type"]},"edTypeDeclarationKind":{"DataType":[[],[["Success",[]],["Failed",[{"tag":"TypeConstructor","contents":[["Prim"],"String"]}]]]]}}},{"EDDataConstructor":{"edDataCtorName":"Success","edDataCtorOrigin":"data","edDataCtorTypeCtor":"Result","edDataCtorType":{"tag":"TypeConstructor","contents":[["Test","QuickCheck"],"Result"]},"edDataCtorFields":[]}},{"EDDataConstructor":{"edDataCtorName":"Failed","edDataCtorOrigin":"data","edDataCtorTypeCtor":"Result","edDataCtorType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"String"]}]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck"],"Result"]}]},"edDataCtorFields":[{"Ident":"value0"}]}},{"EDType":{"edTypeName":"Testable","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymName":"Testable","edTypeSynonymArguments":[["prop",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["test",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"prop"}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck"],"Result"]}]}]},{"tag":"REmpty","contents":[]}]}]}}},{"EDClass":{"edClassName":"Testable","edClassTypeArguments":[["prop",null]],"edClassMembers":[[{"Ident":"test"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"prop"}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck"],"Result"]}]}]}]],"edClassConstraints":[],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"assertEquals"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","Show"],"Show"],"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":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck"],"Result"]}]}]}]},26]}}},{"EDValue":{"edValueName":{"Ident":"assertNotEquals"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintClass":[["Data","Show"],"Show"],"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":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck"],"Result"]}]}]}]},24]}}},{"EDValue":{"edValueName":{"Ident":"quickCheck"},"edValueType":{"tag":"ForAll","contents":["prop",{"tag":"ForAll","contents":["eff",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Test","QuickCheck"],"Testable"],"constraintArgs":[{"tag":"TypeVar","contents":"prop"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"prop"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Eff"],"Eff"]},{"tag":"RCons","contents":["console",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Console"],"CONSOLE"]},{"tag":"RCons","contents":["random",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Random"],"RANDOM"]},{"tag":"RCons","contents":["err",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Exception"],"EXCEPTION"]},{"tag":"TypeVar","contents":"eff"}]}]}]}]},{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]}]}]},20]},21]}}},{"EDValue":{"edValueName":{"Ident":"quickCheck'"},"edValueType":{"tag":"ForAll","contents":["prop",{"tag":"ForAll","contents":["eff",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Test","QuickCheck"],"Testable"],"constraintArgs":[{"tag":"TypeVar","contents":"prop"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"prop"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Eff"],"Eff"]},{"tag":"RCons","contents":["console",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Console"],"CONSOLE"]},{"tag":"RCons","contents":["random",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Random"],"RANDOM"]},{"tag":"RCons","contents":["err",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Exception"],"EXCEPTION"]},{"tag":"TypeVar","contents":"eff"}]}]}]}]},{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]}]}]}]},16]},17]}}},{"EDValue":{"edValueName":{"Ident":"quickCheckPure"},"edValueType":{"tag":"ForAll","contents":["prop",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Test","QuickCheck"],"Testable"],"constraintArgs":[{"tag":"TypeVar","contents":"prop"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck","LCG"],"Seed"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"prop"}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","List","Types"],"List"]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck"],"Result"]}]}]}]}]}]},14]}}},{"EDValue":{"edValueName":{"Ident":"quickCheckWithSeed"},"edValueType":{"tag":"ForAll","contents":["prop",{"tag":"ForAll","contents":["eff",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Test","QuickCheck"],"Testable"],"constraintArgs":[{"tag":"TypeVar","contents":"prop"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck","LCG"],"Seed"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"prop"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Eff"],"Eff"]},{"tag":"RCons","contents":["console",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Console"],"CONSOLE"]},{"tag":"RCons","contents":["random",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Random"],"RANDOM"]},{"tag":"RCons","contents":["err",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Exception"],"EXCEPTION"]},{"tag":"TypeVar","contents":"eff"}]}]}]}]},{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]}]}]}]}]},7]},8]}}},{"EDValue":{"edValueName":{"Ident":"test"},"edValueType":{"tag":"ForAll","contents":["prop",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Test","QuickCheck"],"Testable"],"constraintArgs":[{"tag":"TypeVar","contents":"prop"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"prop"}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck"],"Result"]}]}]}]},0]}}},{"EDValue":{"edValueName":{"Ident":"withHelp"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"String"]}]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck"],"Result"]}]}]}}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck"],"Testable"],"edInstanceName":{"Ident":"testableResult"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck"],"Result"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck"],"Testable"],"edInstanceName":{"Ident":"testableBoolean"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck"],"Testable"],"edInstanceName":{"Ident":"testableFunction"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"t"}]},{"tag":"TypeVar","contents":"prop"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck","Arbitrary"],"Arbitrary"],"constraintArgs":[{"tag":"TypeVar","contents":"t"}],"constraintData":null},{"constraintClass":[["Test","QuickCheck"],"Testable"],"constraintArgs":[{"tag":"TypeVar","contents":"prop"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Test","QuickCheck"],"Testable"],"edInstanceName":{"Ident":"testableGen"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"prop"}]}],"edInstanceConstraints":[{"constraintClass":[["Test","QuickCheck"],"Testable"],"constraintArgs":[{"tag":"TypeVar","contents":"prop"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Show"],"Show"],"edInstanceName":{"Ident":"showResult"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck"],"Result"]}],"edInstanceConstraints":[]}}]}