Agda.Utils.Monad

when_

unless_

whenJust

whenM

unlessM

whenJustM

ifM

and2M

andM

or2M

orM

altM1

mapM'

forM'

type Cont r a

thread

zipWithM'

mapMaybeM

finally

bracket

bracket_

localState

readM

(<$>)

(<*>)