Some toy monad implementations.