clean up actions and monads

[tuturto]

left-if-nil can be worked out just with ->either, provided there are no other falsey values expected.
do-monad-e is just (either print Right (do-monad ...))