[mondas] added: identity monad