:: Monoid_a _ => _ a

look :: Has (Accum w) sig m => m w
fused-effects Control.Effect.Accum
Look up the previous accumulation 
runAccum w look = return (w, w)
runAccum w (look >>= continuation) = runAccum w (continuation w)
cutfail :: Has Cut sig m => m a
fused-effects Control.Effect.Cut
Fail the current branch, and prevent backtracking within the nearest enclosing call (if any). Contrast with empty, which fails the current branch but allows backtracking. 
cutfail >>= k = cutfail

cutfail <|> m = cutfail
empty :: Has Empty sig m => m a
fused-effects Control.Effect.Empty
Abort the computation. empty annihilates >>=: 
empty >>= k = empty
ask :: Has (Reader r) sig m => m r
fused-effects Control.Effect.Reader
Retrieve the environment value. 
runReader a (ask >>= k) = runReader a (k a)
get :: Has (State s) sig m => m s
fused-effects Control.Effect.State
Get the current state value. 
runState a (get >>= k) = runState a (k a)
exitFailure :: MonadIO m => m a
relude Relude.Lifted.Exit
Lifted version of exitFailure. 
>>> exitFailure
*** Exception: ExitFailure 1
exitSuccess :: MonadIO m => m a
relude Relude.Lifted.Exit
Lifted version of exitSuccess. 
>>> exitSuccess
*** Exception: ExitSuccess
exitFailure :: MonadIO m => m a
rio RIO, stack Stack.Prelude
Lifted version of "System.Exit.exitFailure". @since 0.1.9.0.
exitSuccess :: MonadIO m => m a
rio RIO, stack Stack.Prelude
Lifted version of "System.Exit.exitSuccess". @since 0.1.9.0.
exitFailure :: MonadIO m => m a
universum Universum.Lifted.Env
Lifted version of exitFailure.
exitSuccess :: MonadIO m => m a
universum Universum.Lifted.Env
Lifted version of exitSuccess.
exitCleanly :: MonadIO m => m a
hdaemonize System.Posix.Daemonize
Use this function when the daemon should terminate normally. It logs a message, and exits with status 0.
empty :: C set => set a
board-games Game.Mastermind.CodeSet
unit :: C set => set a
board-games Game.Mastermind.CodeSet
empty :: Vector v a => v a
vector Data.Vector.Generic
O(1) The empty vector.
empty :: Vector v a => v a
rio RIO.Vector
O(1) Empty vector
mk0 :: (Vector v a, Dim v ~ 0) => v a
fixed-vector Data.Vector.Fixed
pending :: (HasCallStack, MonadThrow m) => m a
sandwich Test.Sandwich.Expectations
Throws a Pending exception, which will cause the test to be marked as pending.
mzero :: MonadPlus m => m a
base Control.Monad GHC.Base, pipes Pipes, base-compat Control.Monad.Compat Control.Monad.Compat, protolude Protolude.Monad, relude Relude.Monad.Reexport, rio RIO.Prelude, base-prelude BasePrelude, turtle Turtle, classy-prelude ClassyPrelude, universum Universum.Monad.Reexport, base-compat-batteries Control.Monad.Compat, fused-effects Control.Effect.NonDet, Cabal-syntax Distribution.Compat.Prelude, Agda Agda.Utils.Monad, rebase Rebase.Prelude, hledger Hledger.Cli.Script, stack Stack.Prelude, massiv-test Test.Massiv.Utils, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, can-i-haz Control.Monad.Except.CoHas Control.Monad.Reader.Has, yesod-paginator Yesod.Paginator.Prelude, control-monad-free Control.Monad.Free, distribution-opensuse OpenSuse.Prelude, faktory Faktory.Prelude, hledger-web Hledger.Web.Import, termonad Termonad.Prelude, zio ZIO.Trans
The identity of mplus. It should also satisfy the equations 
mzero >>= f  =  mzero
v >> mzero   =  mzero
The default definition is 
mzero = empty
empty :: Alternative f => f a
base Control.Applicative GHC.Base, protolude Protolude, relude Relude.Applicative, parser-combinators Control.Applicative.Combinators Control.Monad.Combinators, base-prelude BasePrelude, turtle Turtle, classy-prelude ClassyPrelude, universum Universum.Applicative, algebraic-graphs Algebra.Graph.HigherKinded.Class, fused-effects Control.Effect.NonDet, Cabal-syntax Distribution.Compat.Prelude, effectful-core Effectful.NonDet, rebase Rebase.Prelude, configuration-tools Configuration.Utils.CommandLine, flatparse FlatParse.Basic FlatParse.Stateful, hledger Hledger.Cli.Script, fmlist Data.FMList, incipit-base Incipit.Base, list-transformer List.Transformer, cabal-install-solver Distribution.Solver.Compat.Prelude, loc Data.Loc.Internal.Prelude, frisby Text.Parsers.Frisby, termonad Termonad.Prelude
The identity of <|>
empty :: Alternative f => forall a . () => f a
optional-args Data.Optional
The identity of <|>
look :: MonadAccum w m => m w
mtl Control.Monad.Accum
Retrieve the accumulated result so far.
ask :: MonadReader r m => m r
mtl Control.Monad.Reader Control.Monad.Reader.Class, protolude Protolude, relude Relude.Monad.Reexport, rio RIO.Prelude, adjunctions Control.Monad.Representable.Reader, classy-prelude ClassyPrelude, streamly Streamly.Data.Stream.MkType Streamly.Internal.Data.Stream.MkType, universum Universum.Monad.Reexport, xmonad XMonad, rebase Rebase.Prelude, xmonad-contrib XMonad.Config.Prime, apecs Apecs, mtl-prelude MTLPrelude, stack Stack.Prelude, nvim-hs Neovim Neovim.Context, pandoc-plot Text.Pandoc.Filter.Plot.Internal, termonad Termonad.Prelude
Retrieves the monad environment.