{"efVersion":"0.11.7","efModuleName":["Control","Monad","Morph"],"efExports":[{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},{"Ident":"embed"}]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},{"Ident":"hoist"}]},{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},"MFunctor"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},{"Ident":"generalize"}]},{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},"MMonad"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},{"Ident":"squash"}]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},">|>"]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},"<|<"]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},"=<|"]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},"|>="]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},{"Ident":"composeKleisliRight"}]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},{"Ident":"composeKleisliLeft"}]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]},{"Ident":"flipEmbed"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"mfunctorExceptT"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"mfunctorMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"mfunctorReaderT"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"mfunctorWriterT"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"mfunctorStateT"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"mfunctorRWS"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"mfunctorCompose"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"mfunctorProduct"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"mmonadExceptT"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"mmonadMaybeT"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"mmonadReaderT"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"mmonadWriterT"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Monad","Except","Trans"],"eiImportType":{"Implicit":[]},"eiImportedAs":["E"]},{"eiModule":["Control","Monad","Maybe","Trans"],"eiImportType":{"Implicit":[]},"eiImportedAs":["M"]},{"eiModule":["Control","Monad","Reader","Trans"],"eiImportType":{"Implicit":[]},"eiImportedAs":["R"]},{"eiModule":["Control","Monad","RWS","Trans"],"eiImportType":{"Implicit":[]},"eiImportedAs":["RWS"]},{"eiModule":["Control","Monad","State","Trans"],"eiImportType":{"Implicit":[]},"eiImportedAs":["S"]},{"eiModule":["Control","Monad","Trans","Class"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[12,35],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[12,51]},"MonadTrans"]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Writer","Trans"],"eiImportType":{"Implicit":[]},"eiImportedAs":["W"]},{"eiModule":["Data","Either"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[14,21],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[14,31]},"Either",null]}]},"eiImportedAs":null},{"eiModule":["Data","Functor","Compose"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[15,30],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[15,41]},"Compose",null]}]},"eiImportedAs":null},{"eiModule":["Data","Functor","Product"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[16,30],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[16,41]},"Product",null]}]},"eiImportedAs":null},{"eiModule":["Data","Identity"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[17,23],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[17,31]},"Identity",[]]}]},"eiImportedAs":null},{"eiModule":["Data","Newtype"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[18,22],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[18,28]},{"Ident":"unwrap"}]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[19,20],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[19,29]},"Maybe",null]}]},"eiImportedAs":null},{"eiModule":["Data","Monoid"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[20,21],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[20,33]},"Monoid"]}]},"eiImportedAs":null},{"eiModule":["Data","Tuple"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[21,20],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[21,29]},"Tuple",null]}]},"eiImportedAs":null}],"efFixities":[{"efAssociativity":"infixr","efPrecedence":2,"efOperator":">|>","efAlias":[["Control","Monad","Morph"],{"Left":{"Ident":"composeKleisliRight"}}]},{"efAssociativity":"infixl","efPrecedence":2,"efOperator":"<|<","efAlias":[["Control","Monad","Morph"],{"Left":{"Ident":"composeKleisliLeft"}}]},{"efAssociativity":"infixr","efPrecedence":2,"efOperator":"=<|","efAlias":[["Control","Monad","Morph"],{"Left":{"Ident":"embed"}}]},{"efAssociativity":"infixl","efPrecedence":2,"efOperator":"|>=","efAlias":[["Control","Monad","Morph"],{"Left":{"Ident":"flipEmbed"}}]}],"efTypeFixities":[],"efDeclarations":[{"EDValue":{"edValueName":{"Ident":"embed"},"edValueType":{"tag":"ForAll","contents":["t",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["m",{"tag":"ForAll","contents":["n",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad","Morph"],"MMonad"],"constraintArgs":[{"tag":"TypeVar","contents":"t"}],"constraintData":null},{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"n"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"n"}]},{"tag":"TypeVar","contents":"a"}]}]},141]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"n"}]},{"tag":"TypeVar","contents":"b"}]}]}]}]}]},142]},143]},144]},145]}}},{"EDValue":{"edValueName":{"Ident":"hoist"},"edValueType":{"tag":"ForAll","contents":["t",{"tag":"ForAll","contents":["n",{"tag":"ForAll","contents":["m",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad","Morph"],"MFunctor"],"constraintArgs":[{"tag":"TypeVar","contents":"t"}],"constraintData":null},{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"n"},{"tag":"TypeVar","contents":"a"}]}]},132]}]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"n"}]},{"tag":"TypeVar","contents":"a"}]}]},133]}]}]}]},134]},135]},136]}}},{"EDType":{"edTypeName":"MFunctor","edTypeKind":{"tag":"FunKind","contents":[{"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"]}]}]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"MFunctor","edTypeSynonymArguments":[["t",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["hoist",{"tag":"ForAll","contents":["n",{"tag":"ForAll","contents":["m",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad"],"Monad"],"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":"TypeConstructor","contents":[["Data","NaturalTransformation"],"NaturalTransformation"]},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"n"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","NaturalTransformation"],"NaturalTransformation"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"n"}]}]}]}]},null]},null]},{"tag":"REmpty"}]}]}}},{"EDClass":{"edClassName":"MFunctor","edClassTypeArguments":[["t",null]],"edClassMembers":[[{"Ident":"hoist"},{"tag":"ForAll","contents":["n",{"tag":"ForAll","contents":["m",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad"],"Monad"],"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":"TypeConstructor","contents":[["Data","NaturalTransformation"],"NaturalTransformation"]},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"n"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","NaturalTransformation"],"NaturalTransformation"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"n"}]}]}]}]},null]},null]}]],"edClassConstraints":[],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"generalize"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["m",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Identity"],"Identity"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeVar","contents":"a"}]}]}]},137]},138]}}},{"EDType":{"edTypeName":"MMonad","edTypeKind":{"tag":"FunKind","contents":[{"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"]}]}]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"MMonad","edTypeSynonymArguments":[["t",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["embed",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["m",{"tag":"ForAll","contents":["n",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"n"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"n"}]},{"tag":"TypeVar","contents":"a"}]}]},null]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"n"}]},{"tag":"TypeVar","contents":"b"}]}]}]}]},null]},null]},null]},{"tag":"RCons","contents":["MFunctor0",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"REmpty"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Morph"],"MFunctor"]},{"tag":"TypeVar","contents":"t"}]}]},{"tag":"RCons","contents":["MonadTrans1",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"REmpty"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Trans","Class"],"MonadTrans"]},{"tag":"TypeVar","contents":"t"}]}]},{"tag":"REmpty"}]}]}]}]}}},{"EDClass":{"edClassName":"MMonad","edClassTypeArguments":[["t",null]],"edClassMembers":[[{"Ident":"embed"},{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["m",{"tag":"ForAll","contents":["n",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"n"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"n"}]},{"tag":"TypeVar","contents":"a"}]}]},null]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"n"}]},{"tag":"TypeVar","contents":"b"}]}]}]}]},null]},null]},null]}]],"edClassConstraints":[{"constraintClass":[["Control","Monad","Morph"],"MFunctor"],"constraintArgs":[{"tag":"TypeVar","contents":"t"}],"constraintData":null},{"constraintClass":[["Control","Monad","Trans","Class"],"MonadTrans"],"constraintArgs":[{"tag":"TypeVar","contents":"t"}],"constraintData":null}],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"squash"},"edValueType":{"tag":"ForAll","contents":["t",{"tag":"ForAll","contents":["m",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m"}],"constraintData":null},{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad","Morph"],"MMonad"],"constraintArgs":[{"tag":"TypeVar","contents":"t"}],"constraintData":null},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m"}]}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"a"}]}]},156]}]}]},157]},158]}}},{"EDValue":{"edValueName":{"Ident":"composeKleisliRight"},"edValueType":{"tag":"ForAll","contents":["t",{"tag":"ForAll","contents":["m3",{"tag":"ForAll","contents":["m2",{"tag":"ForAll","contents":["m1",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad","Morph"],"MMonad"],"constraintArgs":[{"tag":"TypeVar","contents":"t"}],"constraintData":null},{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m3"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m1"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m2"}]},{"tag":"TypeVar","contents":"a"}]}]},163]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m2"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m3"}]},{"tag":"TypeVar","contents":"a"}]}]},164]}]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m1"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m3"}]},{"tag":"TypeVar","contents":"a"}]}]},165]}]}]}]}]},166]},167]},168]},169]}}},{"EDValue":{"edValueName":{"Ident":"composeKleisliLeft"},"edValueType":{"tag":"ForAll","contents":["t",{"tag":"ForAll","contents":["m3",{"tag":"ForAll","contents":["m2",{"tag":"ForAll","contents":["m1",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad","Morph"],"MMonad"],"constraintArgs":[{"tag":"TypeVar","contents":"t"}],"constraintData":null},{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"m3"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m2"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m3"}]},{"tag":"TypeVar","contents":"a"}]}]},176]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m1"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m2"}]},{"tag":"TypeVar","contents":"a"}]}]},177]}]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m1"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m3"}]},{"tag":"TypeVar","contents":"a"}]}]},178]}]}]}]}]},179]},180]},181]},182]}}},{"EDValue":{"edValueName":{"Ident":"flipEmbed"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["n",{"tag":"ForAll","contents":["m",{"tag":"ForAll","contents":["t",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad","Morph"],"MMonad"],"constraintArgs":[{"tag":"TypeVar","contents":"t"}],"constraintData":null},{"tag":"ConstrainedType","contents":[{"constraintClass":[["Control","Monad"],"Monad"],"constraintArgs":[{"tag":"TypeVar","contents":"n"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"m"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"m"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"n"}]},{"tag":"TypeVar","contents":"a"}]}]},146]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"n"}]},{"tag":"TypeVar","contents":"a"}]}]}]}]}]},147]},148]},149]},150]}}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Morph"],"MFunctor"],"edInstanceName":{"Ident":"mfunctorExceptT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Except","Trans"],"ExceptT"]},{"tag":"TypeVar","contents":"e"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Morph"],"MFunctor"],"edInstanceName":{"Ident":"mfunctorMaybe"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Control","Monad","Maybe","Trans"],"MaybeT"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Morph"],"MFunctor"],"edInstanceName":{"Ident":"mfunctorReaderT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Reader","Trans"],"ReaderT"]},{"tag":"TypeVar","contents":"r"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Morph"],"MFunctor"],"edInstanceName":{"Ident":"mfunctorWriterT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Writer","Trans"],"WriterT"]},{"tag":"TypeVar","contents":"w"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Morph"],"MFunctor"],"edInstanceName":{"Ident":"mfunctorStateT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeVar","contents":"s"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Morph"],"MFunctor"],"edInstanceName":{"Ident":"mfunctorRWS"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","RWS","Trans"],"RWST"]},{"tag":"TypeVar","contents":"r"}]},{"tag":"TypeVar","contents":"w"}]},{"tag":"TypeVar","contents":"s"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Morph"],"MFunctor"],"edInstanceName":{"Ident":"mfunctorCompose"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Functor","Compose"],"Compose"]},{"tag":"TypeVar","contents":"f"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Functor"],"Functor"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Morph"],"MFunctor"],"edInstanceName":{"Ident":"mfunctorProduct"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Functor","Product"],"Product"]},{"tag":"TypeVar","contents":"f"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Morph"],"MMonad"],"edInstanceName":{"Ident":"mmonadExceptT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Except","Trans"],"ExceptT"]},{"tag":"TypeVar","contents":"e"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Morph"],"MMonad"],"edInstanceName":{"Ident":"mmonadMaybeT"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Control","Monad","Maybe","Trans"],"MaybeT"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Morph"],"MMonad"],"edInstanceName":{"Ident":"mmonadReaderT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Reader","Trans"],"ReaderT"]},{"tag":"TypeVar","contents":"r"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Morph"],"MMonad"],"edInstanceName":{"Ident":"mmonadWriterT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Writer","Trans"],"WriterT"]},{"tag":"TypeVar","contents":"w"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"tag":"TypeVar","contents":"w"}],"constraintData":null}]}}],"efSourceSpan":{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-mmorph/src/Control/Monad/Morph.purs","end":[114,33]}}