{"efVersion":"0.10.5","efModuleName":["Control","Monad","State","Trans"],"efExports":[{"TypeRef":["StateT",["StateT"]]},{"ReExportRef":[["Control","Monad","State","Class"],{"TypeClassRef":"MonadState"}]},{"ReExportRef":[["Control","Monad","Trans","Class"],{"TypeClassRef":"MonadTrans"}]},{"ValueRef":{"Ident":"evalStateT"}},{"ValueRef":{"Ident":"execStateT"}},{"ReExportRef":[["Control","Monad","State","Class"],{"ValueRef":{"Ident":"get"}}]},{"ReExportRef":[["Control","Monad","State","Class"],{"ValueRef":{"Ident":"gets"}}]},{"ReExportRef":[["Control","Monad","Trans","Class"],{"ValueRef":{"Ident":"lift"}}]},{"ValueRef":{"Ident":"mapStateT"}},{"ReExportRef":[["Control","Monad","State","Class"],{"ValueRef":{"Ident":"modify"}}]},{"ReExportRef":[["Control","Monad","State","Class"],{"ValueRef":{"Ident":"put"}}]},{"ValueRef":{"Ident":"runStateT"}},{"ReExportRef":[["Control","Monad","State","Class"],{"ValueRef":{"Ident":"state"}}]},{"ValueRef":{"Ident":"withStateT"}},{"PositionedDeclarationRef":[{"start":[5,5],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[5,37]},[],{"ModuleRef":["Control","Monad","Trans","Class"]}]},{"PositionedDeclarationRef":[{"start":[6,5],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[6,37]},[],{"ModuleRef":["Control","Monad","State","Class"]}]},{"TypeInstanceRef":{"Ident":"newtypeStateT"}},{"TypeInstanceRef":{"Ident":"functorStateT"}},{"TypeInstanceRef":{"Ident":"applyStateT"}},{"TypeInstanceRef":{"Ident":"applicativeStateT"}},{"TypeInstanceRef":{"Ident":"altStateT"}},{"TypeInstanceRef":{"Ident":"plusStateT"}},{"TypeInstanceRef":{"Ident":"alternativeStateT"}},{"TypeInstanceRef":{"Ident":"bindStateT"}},{"TypeInstanceRef":{"Ident":"monadStateT"}},{"TypeInstanceRef":{"Ident":"monadRecStateT"}},{"TypeInstanceRef":{"Ident":"monadZeroStateT"}},{"TypeInstanceRef":{"Ident":"monadPlusStateT"}},{"TypeInstanceRef":{"Ident":"monadTransStateT"}},{"TypeInstanceRef":{"Ident":"lazyStateT"}},{"TypeInstanceRef":{"Ident":"monadEffState"}},{"TypeInstanceRef":{"Ident":"monadContStateT"}},{"TypeInstanceRef":{"Ident":"monadErrorStateT"}},{"TypeInstanceRef":{"Ident":"monadAskStateT"}},{"TypeInstanceRef":{"Ident":"monadReaderStateT"}},{"TypeInstanceRef":{"Ident":"monadStateStateT"}},{"TypeInstanceRef":{"Ident":"monadTellStateT"}},{"TypeInstanceRef":{"Ident":"monadWriterStateT"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Alt"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[11,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[11,30]},[],{"TypeClassRef":"Alt"}]},{"PositionedDeclarationRef":[{"start":[11,32],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[11,37]},[],{"ValueOpRef":"<|>"}]}]},"eiImportedAs":null},{"eiModule":["Control","Alternative"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[12,29],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[12,46]},[],{"TypeClassRef":"Alternative"}]}]},"eiImportedAs":null},{"eiModule":["Control","Lazy"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[13,22],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[13,32]},[],{"TypeClassRef":"Lazy"}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Cont","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[14,34],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[14,49]},[],{"TypeClassRef":"MonadCont"}]},{"PositionedDeclarationRef":[{"start":[14,51],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[14,57]},[],{"ValueRef":{"Ident":"callCC"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[15,33],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[15,47]},[],{"TypeClassRef":"MonadEff"}]},{"PositionedDeclarationRef":[{"start":[15,49],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[15,56]},[],{"ValueRef":{"Ident":"liftEff"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Error","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[16,35],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[16,51]},[],{"TypeClassRef":"MonadError"}]},{"PositionedDeclarationRef":[{"start":[16,53],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[16,63]},[],{"ValueRef":{"Ident":"catchError"}}]},{"PositionedDeclarationRef":[{"start":[16,65],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[16,75]},[],{"ValueRef":{"Ident":"throwError"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Reader","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[17,36],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[17,50]},[],{"TypeClassRef":"MonadAsk"}]},{"PositionedDeclarationRef":[{"start":[17,52],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[17,69]},[],{"TypeClassRef":"MonadReader"}]},{"PositionedDeclarationRef":[{"start":[17,71],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[17,74]},[],{"ValueRef":{"Ident":"ask"}}]},{"PositionedDeclarationRef":[{"start":[17,76],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[17,81]},[],{"ValueRef":{"Ident":"local"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Rec","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[18,33],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[18,47]},[],{"TypeClassRef":"MonadRec"}]},{"PositionedDeclarationRef":[{"start":[18,49],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[18,57]},[],{"ValueRef":{"Ident":"tailRecM"}}]},{"PositionedDeclarationRef":[{"start":[18,59],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[18,67]},[],{"TypeRef":["Step",null]}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","State","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[19,35],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[19,51]},[],{"TypeClassRef":"MonadState"}]},{"PositionedDeclarationRef":[{"start":[19,53],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[19,56]},[],{"ValueRef":{"Ident":"get"}}]},{"PositionedDeclarationRef":[{"start":[19,58],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[19,62]},[],{"ValueRef":{"Ident":"gets"}}]},{"PositionedDeclarationRef":[{"start":[19,64],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[19,70]},[],{"ValueRef":{"Ident":"modify"}}]},{"PositionedDeclarationRef":[{"start":[19,72],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[19,75]},[],{"ValueRef":{"Ident":"put"}}]},{"PositionedDeclarationRef":[{"start":[19,77],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[19,82]},[],{"ValueRef":{"Ident":"state"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Trans","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[20,35],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[20,51]},[],{"TypeClassRef":"MonadTrans"}]},{"PositionedDeclarationRef":[{"start":[20,53],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[20,57]},[],{"ValueRef":{"Ident":"lift"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Writer","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[21,36],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[21,53]},[],{"TypeClassRef":"MonadWriter"}]},{"PositionedDeclarationRef":[{"start":[21,55],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[21,70]},[],{"TypeClassRef":"MonadTell"}]},{"PositionedDeclarationRef":[{"start":[21,72],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[21,76]},[],{"ValueRef":{"Ident":"pass"}}]},{"PositionedDeclarationRef":[{"start":[21,78],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[21,84]},[],{"ValueRef":{"Ident":"listen"}}]},{"PositionedDeclarationRef":[{"start":[21,86],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[21,90]},[],{"ValueRef":{"Ident":"tell"}}]}]},"eiImportedAs":null},{"eiModule":["Control","MonadPlus"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[22,27],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[22,42]},[],{"TypeClassRef":"MonadPlus"}]}]},"eiImportedAs":null},{"eiModule":["Control","MonadZero"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[23,27],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[23,42]},[],{"TypeClassRef":"MonadZero"}]}]},"eiImportedAs":null},{"eiModule":["Control","Plus"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[24,22],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[24,32]},[],{"TypeClassRef":"Plus"}]},{"PositionedDeclarationRef":[{"start":[24,34],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[24,39]},[],{"ValueRef":{"Ident":"empty"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Newtype"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[26,22],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[26,35]},[],{"TypeClassRef":"Newtype"}]}]},"eiImportedAs":null},{"eiModule":["Data","Tuple"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[27,20],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[27,29]},[],{"TypeRef":["Tuple",null]}]},{"PositionedDeclarationRef":[{"start":[27,31],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[27,34]},[],{"ValueRef":{"Ident":"fst"}}]},{"PositionedDeclarationRef":[{"start":[27,36],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Monad/State/Trans.purs","end":[27,39]},[],{"ValueRef":{"Ident":"snd"}}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"StateT","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"FunKind","contents":[{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]}]},"edTypeDeclarationKind":{"DataType":[[["s",{"tag":"NamedKind","contents":[["Prim"],"Type"]}],["m",{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}],["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],[["StateT",[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"s"}]}]}]}]]]]}}},{"EDDataConstructor":{"edDataCtorName":"StateT","edDataCtorOrigin":"newtype","edDataCtorTypeCtor":"StateT","edDataCtorType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["m",{"tag":"ForAll","contents":["s",{"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":"s"}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"s"}]}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"a"}]}]},null]},null]},null]},"edDataCtorFields":[{"Ident":"value0"}]}},{"EDValue":{"edValueName":{"Ident":"evalStateT"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["m",{"tag":"ForAll","contents":["s",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Functor"],"Functor"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeVar","contents":"a"}]}]}]}]},301]},302]},303]}}},{"EDValue":{"edValueName":{"Ident":"execStateT"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["m",{"tag":"ForAll","contents":["s",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Functor"],"Functor"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeVar","contents":"s"}]}]}]}]},295]},296]},297]}}},{"EDValue":{"edValueName":{"Ident":"mapStateT"},"edValueType":{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["m2",{"tag":"ForAll","contents":["m1",{"tag":"ForAll","contents":["s",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m1"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"s"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m2"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeVar","contents":"s"}]}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m1"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m2"}]},{"tag":"TypeVar","contents":"b"}]}]}]},252]},253]},254]},255]},256]}}},{"EDValue":{"edValueName":{"Ident":"runStateT"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["m",{"tag":"ForAll","contents":["s",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"s"}]}]}]}]},6]},7]},8]}}},{"EDValue":{"edValueName":{"Ident":"withStateT"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["m",{"tag":"ForAll","contents":["s",{"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":"s"}]},{"tag":"TypeVar","contents":"s"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"a"}]}]}]},0]},1]},2]}}},{"EDInstance":{"edInstanceClassName":[["Data","Newtype"],"Newtype"],"edInstanceName":{"Ident":"newtypeStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"s"}]}]}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Functor"],"Functor"],"edInstanceName":{"Ident":"functorStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Functor"],"Functor"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Apply"],"Apply"],"edInstanceName":{"Ident":"applyStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Applicative"],"Applicative"],"edInstanceName":{"Ident":"applicativeStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Alt"],"Alt"],"edInstanceName":{"Ident":"altStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null},{"constraintClass":[["Control","Alt"],"Alt"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Plus"],"Plus"],"edInstanceName":{"Ident":"plusStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null},{"constraintClass":[["Control","Plus"],"Plus"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Alternative"],"Alternative"],"edInstanceName":{"Ident":"alternativeStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null},{"constraintClass":[["Control","Alternative"],"Alternative"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Bind"],"Bind"],"edInstanceName":{"Ident":"bindStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad"],"Monad"],"edInstanceName":{"Ident":"monadStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Rec","Class"],"MonadRec"],"edInstanceName":{"Ident":"monadRecStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad","Rec","Class"],"MonadRec"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","MonadZero"],"MonadZero"],"edInstanceName":{"Ident":"monadZeroStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","MonadZero"],"MonadZero"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","MonadPlus"],"MonadPlus"],"edInstanceName":{"Ident":"monadPlusStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","MonadPlus"],"MonadPlus"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Trans","Class"],"MonadTrans"],"edInstanceName":{"Ident":"monadTransStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Lazy"],"Lazy"],"edInstanceName":{"Ident":"lazyStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Eff","Class"],"MonadEff"],"edInstanceName":{"Ident":"monadEffState"},"edInstanceTypes":[{"tag":"TypeVar","contents":"eff"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad","Eff","Class"],"MonadEff"],"constraintArgs":[{"tag":"TypeVar","contents":"eff"},{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Cont","Class"],"MonadCont"],"edInstanceName":{"Ident":"monadContStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad","Cont","Class"],"MonadCont"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Error","Class"],"MonadError"],"edInstanceName":{"Ident":"monadErrorStateT"},"edInstanceTypes":[{"tag":"TypeVar","contents":"e"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad","Error","Class"],"MonadError"],"constraintArgs":[{"tag":"TypeVar","contents":"e"},{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Reader","Class"],"MonadAsk"],"edInstanceName":{"Ident":"monadAskStateT"},"edInstanceTypes":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad","Reader","Class"],"MonadAsk"],"constraintArgs":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Reader","Class"],"MonadReader"],"edInstanceName":{"Ident":"monadReaderStateT"},"edInstanceTypes":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad","Reader","Class"],"MonadReader"],"constraintArgs":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","State","Class"],"MonadState"],"edInstanceName":{"Ident":"monadStateStateT"},"edInstanceTypes":[{"tag":"TypeVar","contents":"s"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Writer","Class"],"MonadTell"],"edInstanceName":{"Ident":"monadTellStateT"},"edInstanceTypes":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad","Writer","Class"],"MonadTell"],"constraintArgs":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Writer","Class"],"MonadWriter"],"edInstanceName":{"Ident":"monadWriterStateT"},"edInstanceTypes":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]},{"tag":"TypeVar","contents":"m"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Monad","Writer","Class"],"MonadWriter"],"constraintArgs":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"m"}],"constraintData":null}]}}]}