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
(<$>)
(<*>)