@hackage / rest-rewrite

Rewriting library with online termination checking