monadic operator