make_rop = lambda op: lambda _, cte: lambda v: fmap(lambda x: op(cte, x), v)