{"efVersion":"0.10.5","efModuleName":["Control","Monad","Eff","Class"],"efExports":[{"TypeClassRef":"MonadEff"},{"ValueRef":{"Ident":"liftEff"}},{"TypeInstanceRef":{"Ident":"monadEffEff"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Category"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[3,26],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-eff/src/Control/Monad/Eff/Class.purs","end":[3,28]},[],{"ValueRef":{"Ident":"id"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[4,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-eff/src/Control/Monad/Eff/Class.purs","end":[4,34]},[],{"TypeClassRef":"Monad"}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[5,27],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-eff/src/Control/Monad/Eff/Class.purs","end":[5,30]},[],{"TypeRef":["Eff",[]]}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"MonadEff","edTypeKind":{"tag":"FunKind","contents":[{"tag":"Row","contents":{"tag":"NamedKind","contents":[["Prim"],"Effect"]}},{"tag":"FunKind","contents":[{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymName":"MonadEff","edTypeSynonymArguments":[["eff",null],["m",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["liftEff",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Eff"],"Eff"]},{"tag":"TypeVar","contents":"eff"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeVar","contents":"a"}]}]},null]},{"tag":"RCons","contents":["__superclass_Control.Monad.Monad_0",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"REmpty","contents":[]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad"],"Monad"]},{"tag":"TypeVar","contents":"m"}]}]},{"tag":"REmpty","contents":[]}]}]}]}}},{"EDClass":{"edClassName":"MonadEff","edClassTypeArguments":[["eff",null],["m",null]],"edClassMembers":[[{"Ident":"liftEff"},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Eff"],"Eff"]},{"tag":"TypeVar","contents":"eff"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeVar","contents":"a"}]}]},null]}]],"edClassConstraints":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}],"edFunctionalDependencies":[{"fdDeterminers":[1],"fdDetermined":[0]}]}},{"EDValue":{"edValueName":{"Ident":"liftEff"},"edValueType":{"tag":"ForAll","contents":["eff",{"tag":"ForAll","contents":["m",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Control","Monad","Eff","Class"],"MonadEff"],"constraintArgs":[{"tag":"TypeVar","contents":"eff"},{"tag":"TypeVar","contents":"m"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Eff"],"Eff"]},{"tag":"TypeVar","contents":"eff"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeVar","contents":"a"}]}]}]},15]},16]},17]}}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Eff","Class"],"MonadEff"],"edInstanceName":{"Ident":"monadEffEff"},"edInstanceTypes":[{"tag":"TypeVar","contents":"eff"},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Eff"],"Eff"]},{"tag":"TypeVar","contents":"eff"}]}],"edInstanceConstraints":[]}}]}