{"efVersion":"0.10.5","efModuleName":["Data","Set"],"efExports":[{"TypeRef":["Set",[]]},{"ValueRef":{"Ident":"checkValid"}},{"ValueRef":{"Ident":"delete"}},{"ValueRef":{"Ident":"difference"}},{"ValueRef":{"Ident":"empty"}},{"ValueRef":{"Ident":"fromFoldable"}},{"ValueRef":{"Ident":"insert"}},{"ValueRef":{"Ident":"intersection"}},{"ValueRef":{"Ident":"isEmpty"}},{"ValueRef":{"Ident":"map"}},{"ValueRef":{"Ident":"member"}},{"ValueRef":{"Ident":"properSubset"}},{"ValueRef":{"Ident":"singleton"}},{"ValueRef":{"Ident":"size"}},{"ValueRef":{"Ident":"subset"}},{"ValueRef":{"Ident":"toUnfoldable"}},{"ValueRef":{"Ident":"union"}},{"ValueRef":{"Ident":"unions"}},{"TypeInstanceRef":{"Ident":"eqSet"}},{"TypeInstanceRef":{"Ident":"showSet"}},{"TypeInstanceRef":{"Ident":"ordSet"}},{"TypeInstanceRef":{"Ident":"monoidSet"}},{"TypeInstanceRef":{"Ident":"semigroupSet"}},{"TypeInstanceRef":{"Ident":"foldableSet"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[29,27],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[29,34]},[],{"ValueRef":{"Ident":"runPure"}}]},{"PositionedDeclarationRef":[{"start":[29,36],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[29,39]},[],{"TypeRef":["Eff",[]]}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Rec","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[30,33],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[30,41]},[],{"TypeRef":["Step",null]}]},{"PositionedDeclarationRef":[{"start":[30,43],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[30,52]},[],{"ValueRef":{"Ident":"tailRecM2"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","ST"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[31,26],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[31,28]},[],{"TypeRef":["ST",[]]}]}]},"eiImportedAs":null},{"eiModule":["Data","Array"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Array"]},{"eiModule":["Data","Array","ST"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[34,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[34,30]},[],{"TypeRef":["STArray",[]]}]},{"PositionedDeclarationRef":[{"start":[34,32],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[34,44]},[],{"ValueRef":{"Ident":"emptySTArray"}}]},{"PositionedDeclarationRef":[{"start":[34,46],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[34,56]},[],{"ValueRef":{"Ident":"runSTArray"}}]},{"PositionedDeclarationRef":[{"start":[34,58],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[34,69]},[],{"ValueRef":{"Ident":"pushSTArray"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Foldable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[35,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[35,37]},[],{"TypeClassRef":"Foldable"}]},{"PositionedDeclarationRef":[{"start":[35,39],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[35,46]},[],{"ValueRef":{"Ident":"foldMap"}}]},{"PositionedDeclarationRef":[{"start":[35,48],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[35,53]},[],{"ValueRef":{"Ident":"foldl"}}]},{"PositionedDeclarationRef":[{"start":[35,55],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[35,60]},[],{"ValueRef":{"Ident":"foldr"}}]}]},"eiImportedAs":null},{"eiModule":["Data","List"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[36,19],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[36,23]},[],{"TypeRef":["List",[]]}]}]},"eiImportedAs":null},{"eiModule":["Data","List"],"eiImportType":{"Implicit":[]},"eiImportedAs":["List"]},{"eiModule":["Data","Map"],"eiImportType":{"Implicit":[]},"eiImportedAs":["M"]},{"eiModule":["Data","Monoid"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[39,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[39,33]},[],{"TypeClassRef":"Monoid"}]}]},"eiImportedAs":null},{"eiModule":["Data","Unfoldable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[40,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[40,41]},[],{"TypeClassRef":"Unfoldable"}]}]},"eiImportedAs":null},{"eiModule":["Partial","Unsafe"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[42,24],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-sets/src/Data/Set.purs","end":[42,37]},[],{"ValueRef":{"Ident":"unsafePartial"}}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Set","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"DataType":[[["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],[["Set",[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Map"],"Map"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]}]]]]}}},{"EDValue":{"edValueName":{"Ident":"checkValid"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]},79]}}},{"EDValue":{"edValueName":{"Ident":"delete"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Ord"],"Ord"],"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":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]}]}]},71]}}},{"EDValue":{"edValueName":{"Ident":"difference"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]}]}]},73]}}},{"EDValue":{"edValueName":{"Ident":"empty"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]},38]}}},{"EDValue":{"edValueName":{"Ident":"fromFoldable"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["f",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Foldable"],"Foldable"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null},{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]}]},40]},41]}}},{"EDValue":{"edValueName":{"Ident":"insert"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Ord"],"Ord"],"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":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]}]}]},22]}}},{"EDValue":{"edValueName":{"Ident":"intersection"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]}]}]},44]}}},{"EDValue":{"edValueName":{"Ident":"isEmpty"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]},20]}}},{"EDValue":{"edValueName":{"Ident":"map"},"edValueType":{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}],{"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":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"b"}]}]}]}]},61]},62]}}},{"EDValue":{"edValueName":{"Ident":"member"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Ord"],"Ord"],"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":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]},18]}}},{"EDValue":{"edValueName":{"Ident":"properSubset"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]},77]}}},{"EDValue":{"edValueName":{"Ident":"singleton"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},10]}}},{"EDValue":{"edValueName":{"Ident":"size"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},8]}}},{"EDValue":{"edValueName":{"Ident":"subset"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]},75]}}},{"EDValue":{"edValueName":{"Ident":"toUnfoldable"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["f",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Unfoldable"],"Unfoldable"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]},4]},5]}}},{"EDValue":{"edValueName":{"Ident":"union"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]}]}]},0]}}},{"EDValue":{"edValueName":{"Ident":"unions"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["f",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Foldable"],"Foldable"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null},{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}]}]},67]},68]}}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqSet"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Show"],"Show"],"edInstanceName":{"Ident":"showSet"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Show"],"Show"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Ord"],"Ord"],"edInstanceName":{"Ident":"ordSet"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidSet"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Semigroup"],"Semigroup"],"edInstanceName":{"Ident":"semigroupSet"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Foldable"],"Foldable"],"edInstanceName":{"Ident":"foldableSet"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Set"],"Set"]}],"edInstanceConstraints":[]}}]}