@hackage / guarded-rewriting

Datatype-generic rewriting with preconditions