Agda.Utils.Monad

when_

unless_

whenM

unlessM

ifM

ifNotM

and2M

andM

or2M

orM

altM1

mapM'

forM'

type Cont r a

thread

zipWithM'

mapMaybeM

dropWhileM

finally

bracket

bracket_

localState

readM

(<$>)

(<*>)

(<$)