{"efVersion":"0.11.7","efModuleName":["Test","QuickCheck"],"efExports":[{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},["Test","QuickCheck","LCG"],{"TypeRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"Seed",[]]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},["Test","QuickCheck","Arbitrary"],{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"Arbitrary"]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},["Test","QuickCheck","Arbitrary"],{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"Coarbitrary"]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},["Test","QuickCheck","Arbitrary"],{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"arbitrary"}]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},["Test","QuickCheck","Arbitrary"],{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"coarbitrary"}]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},["Test","QuickCheck","LCG"],{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"randomSeed"}]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},["Test","QuickCheck","LCG"],{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"runSeed"}]}]},{"TypeRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"QC",[]]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"quickCheck"}]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"quickCheckGen"}]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"quickCheck'"}]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"quickCheckGen'"}]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"quickCheckWithSeed"}]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"quickCheckGenWithSeed"}]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"quickCheckPure"}]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"quickCheckGenPure"}]},{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"Testable"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"test"}]},{"TypeRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"Result",["Success","Failed"]]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"withHelp"}]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"<?>"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"assertEquals"}]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"==="]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"==?"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"assertNotEquals"}]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"/=="]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"/=?"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"assertLessThan"}]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"<?"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"assertLessThanEq"}]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},"<=?"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"assertGreaterThan"}]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},">?"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},{"Ident":"assertGreaterThanEq"}]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]},">=?"]},{"ModuleRef":[{"start":[47,5],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[47,31]},["Test","QuickCheck","LCG"]]},{"ModuleRef":[{"start":[48,5],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[48,37]},["Test","QuickCheck","Arbitrary"]]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"testableResult"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"testableBoolean"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"testableFunction"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"testableGen"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"showResult"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[53,27],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[53,30]},"Eff",[]]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff","Console"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[54,35],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[54,42]},"CONSOLE",[]]},{"ValueRef":[{"start":[54,44],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[54,47]},{"Ident":"log"}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff","Exception"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[55,37],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[55,46]},"EXCEPTION",[]]},{"ValueRef":[{"start":[55,48],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[55,62]},{"Ident":"throwException"}]},{"ValueRef":[{"start":[55,64],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[55,69]},{"Ident":"error"}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff","Random"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[56,34],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[56,40]},"RANDOM",[]]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Rec","Class"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[57,33],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[57,41]},"Step",null]},{"ValueRef":[{"start":[57,43],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[57,50]},{"Ident":"tailRec"}]}]},"eiImportedAs":null},{"eiModule":["Data","Foldable"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[58,23],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[58,27]},{"Ident":"for_"}]}]},"eiImportedAs":null},{"eiModule":["Data","List"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[59,19],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[59,23]},"List",[]]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[60,20],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[60,29]},"Maybe",null]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe","First"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[61,26],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[61,35]},"First",null]}]},"eiImportedAs":null},{"eiModule":["Data","Monoid"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[62,21],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[62,27]},{"Ident":"mempty"}]}]},"eiImportedAs":null},{"eiModule":["Data","Tuple"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[63,20],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[63,29]},"Tuple",null]}]},"eiImportedAs":null},{"eiModule":["Data","Unfoldable"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[64,25],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[64,35]},{"Ident":"replicateA"}]}]},"eiImportedAs":null},{"eiModule":["Test","QuickCheck","Arbitrary"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[65,35],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[65,50]},"Arbitrary"]},{"ValueRef":[{"start":[65,52],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[65,61]},{"Ident":"arbitrary"}]},{"TypeClassRef":[{"start":[65,63],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[65,80]},"Coarbitrary"]},{"ValueRef":[{"start":[65,82],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[65,93]},{"Ident":"coarbitrary"}]}]},"eiImportedAs":null},{"eiModule":["Test","QuickCheck","Gen"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[66,29],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[66,32]},"Gen",[]]},{"ValueRef":[{"start":[66,34],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[66,41]},{"Ident":"evalGen"}]},{"ValueRef":[{"start":[66,43],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[66,49]},{"Ident":"runGen"}]}]},"eiImportedAs":null},{"eiModule":["Test","QuickCheck","LCG"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[67,29],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[67,33]},"Seed",[]]},{"ValueRef":[{"start":[67,35],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[67,42]},{"Ident":"runSeed"}]},{"ValueRef":[{"start":[67,44],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[67,54]},{"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":"assertEquals"}}]},{"efAssociativity":"infix","efPrecedence":2,"efOperator":"/==","efAlias":[["Test","QuickCheck"],{"Left":{"Ident":"assertNotEquals"}}]},{"efAssociativity":"infix","efPrecedence":2,"efOperator":"/=?","efAlias":[["Test","QuickCheck"],{"Left":{"Ident":"assertNotEquals"}}]},{"efAssociativity":"infix","efPrecedence":2,"efOperator":"<?","efAlias":[["Test","QuickCheck"],{"Left":{"Ident":"assertLessThan"}}]},{"efAssociativity":"infix","efPrecedence":2,"efOperator":"<=?","efAlias":[["Test","QuickCheck"],{"Left":{"Ident":"assertLessThanEq"}}]},{"efAssociativity":"infix","efPrecedence":2,"efOperator":">?","efAlias":[["Test","QuickCheck"],{"Left":{"Ident":"assertGreaterThan"}}]},{"efAssociativity":"infix","efPrecedence":2,"efOperator":">=?","efAlias":[["Test","QuickCheck"],{"Left":{"Ident":"assertGreaterThanEq"}}]}],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"QC","edTypeKind":{"tag":"FunKind","contents":[{"tag":"Row","contents":{"tag":"NamedKind","contents":[["Control","Monad","Eff"],"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":[["Control","Monad","Eff"],"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":["exception",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Exception"],"EXCEPTION"]},{"tag":"TypeVar","contents":"eff"}]}]}]}]},{"tag":"TypeVar","contents":"a"}]}}},{"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":["exception",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Exception"],"EXCEPTION"]},{"tag":"TypeVar","contents":"eff"}]}]}]}]},{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]}]}]},30]},31]}}},{"EDValue":{"edValueName":{"Ident":"quickCheckGen"},"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":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"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":["exception",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Exception"],"EXCEPTION"]},{"tag":"TypeVar","contents":"eff"}]}]}]}]},{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]}]}]},34]},35]}}},{"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":["exception",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Exception"],"EXCEPTION"]},{"tag":"TypeVar","contents":"eff"}]}]}]}]},{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]}]}]}]},22]},23]}}},{"EDValue":{"edValueName":{"Ident":"quickCheckGen'"},"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":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"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":["exception",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Exception"],"EXCEPTION"]},{"tag":"TypeVar","contents":"eff"}]}]}]}]},{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]}]}]}]},26]},27]}}},{"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":["exception",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Exception"],"EXCEPTION"]},{"tag":"TypeVar","contents":"eff"}]}]}]}]},{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]}]}]}]}]},7]},8]}}},{"EDValue":{"edValueName":{"Ident":"quickCheckGenWithSeed"},"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":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"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":["exception",{"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":"quickCheckGenPure"},"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":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"prop"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","List","Types"],"List"]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck"],"Result"]}]}]}]}]}]},20]}}},{"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"}]}]}}},{"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":"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]}}},{"EDType":{"edTypeName":"Result","edTypeKind":{"tag":"NamedKind","contents":[["Prim"],"Type"]},"edTypeDeclarationKind":{"DataType":{"args":[],"ctors":[["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"}]}},{"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"]}]}]}}},{"EDValue":{"edValueName":{"Ident":"assertEquals"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"tag":"ConstrainedType","contents":[{"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"]}]}]}]}]},50]}}},{"EDValue":{"edValueName":{"Ident":"assertNotEquals"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"tag":"ConstrainedType","contents":[{"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"]}]}]}]}]},40]}}},{"EDValue":{"edValueName":{"Ident":"assertLessThan"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"tag":"ConstrainedType","contents":[{"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"]}]}]}]}]},44]}}},{"EDValue":{"edValueName":{"Ident":"assertLessThanEq"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"tag":"ConstrainedType","contents":[{"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"]}]}]}]}]},42]}}},{"EDValue":{"edValueName":{"Ident":"assertGreaterThan"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"tag":"ConstrainedType","contents":[{"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"]}]}]}]}]},48]}}},{"EDValue":{"edValueName":{"Ident":"assertGreaterThanEq"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"tag":"ConstrainedType","contents":[{"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"]}]}]}]}]},46]}}},{"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":[]}}],"efSourceSpan":{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-quickcheck/src/Test/QuickCheck.purs","end":[235,32]}}