Agda.Utils.Monad

(<.>)

whenM

unlessM

ifM

forgetM

concatMapM

forceM

commuteM

fmapM

type Cont r a

thread

zipWithM'

finally

bracket

mapMaybeM

liftEither

readM

(<$>)

(<*>)