ho-rewriting (hackage): This package gives a generic implementation of higher-order rewriting. The main idea is to use techniques from embedded domain-specific languages to offer an interface which is both safe and syntactically appealing.  Some examples are found in the examples directory. For more information, see "Lightweight Higher-Order Rewriting in Haskell" (presented at TFP 2015):  Paper: https://emilaxelsson.github.io/documents/axelsson2015lightweight.pdf  Slides: https://emilaxelsson.github.io/documents/axelsson2015lightweight_slides.pdf
Keywords: bsd3|language|library