a function is a monad