Add more monadic functions

[iduhetonas]

I've pretty much made pure programs up to this point, but I'd love to add some monads and monad use at some point.