MonoidOp added