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