monadic version of `expr.replace`

Stream: general

[Scott Morrison]

Has anyone implemented a monadic version of expr.replace? I don't see one yet.

[Mario Carneiro]

There is docs#expr.traverse, although it doesn't give you the binding depth like expr.replace

[Mario Carneiro]

you also have to call it recursively if you want to traverse the whole term

[Scott Morrison]

#6661