This makes using rewrite with strategies combinators pretty slow. Any chance it could be implemented differently?
This makes using rewrite with strategies combinators pretty slow. Any chance it could be implemented differently?