úÎ#½+      !"#$%&'()*None 3579>ILN LiftProgram defines an mtl:-style type class for automatically lifting effects into Ž stacks. When exporting libraries that you intend to publish on Hackage, it's suggested that you still provide your own type class (such as  MonadThrow or  MonadHTTP2) to avoid locking people into this library, but D can be useful to define your own instances of that type class for .The L type family is used to make sure that a given monad stack is based around [. This is important, as it allows us to reason about Eff-based type classes, knowing that only T implements them, thus giving us the orthogonal-handling properties that we desire.The “ monad transformer is used to write programs that require access to specific effects. In this library, effects are combined by stacking multiple Gs together, just as you would do with traditional monad transformers. !s are parameterized by an effect algebraR. This is a description of programs in a single effect, such as non-determinism ([])or exceptions (Either e). As  is a monad transformer, m is the monad that 5 transforms, which can itself be another instance of .In order to run i computations, we need to provide a way to run its effects in a specific monad transformer. Notice that run eliminates one layer of ", returning you with the original a@ now captured under the result of the effects described by the effect functor.+,-./01234567+,-./01234567None3579  89    89None345None34579:;:;None4C Lift an <E action and explictly throw an synchronous IO exceptions that occur. = !>?@ ! != !>?@None4"#$%&'()"#$%&'()"#$%&'()"#$%&'()None35****A       !"#$%&'()*+,-./01223456789:;<=>?@ABCD%EFGHtrans_Bj4MPg1BF356pZyU9maE8zControl.EffectControl.Effect.EnvironmentControl.Effect.NondeterminismControl.Effect.ExceptionControl.Effect.IOControl.Effect.StateControl.Effect.Identity Interprets interpretIsEffEff translateEffEnvironment liftReaderaskasksrunInEnvironmentmapEnvironment effToReaderT readerTToEffNondeterministicliftNondeterminismchooserunNondeterminismmzeromplus$fNondeterministicEff$fNondeterministicEff0 EffException liftEitherthrowtry effToExceptT exceptTToEffEffUIOliftUIOUIOrunUIOsyncIOrunExceptionalIOrunState evalState execStategetputmodifymodify'gets runIdentityContrunContcont $fMonadCont$fApplicativeCont $fFunctorCont$fMonadTransEff $fMonadEff$fApplicativeEff $fFunctorEff$fInterpretsfEff$fInterpretsfEff0$fEffEnvironmentenvEff$fEffEnvironmentenvEff0$fEffExceptioneEff$fEffExceptioneEff0ghc-prim GHC.TypesIO $fEffUIOEff $fEffUIOUIO $fEffUIOIO