Yi.Monad
gets
getsAndModify
maybeM
repeatUntilM
whenM
with