Derived monadic operator