[monad] added: monadic map, filter, fold