Bit more work on monads.