Dear Cafe - if your're using Haskell, you are using (term) rewriting: both first order (pattern matching on algebraic data types) and higher order (lambda calculus). Here is your chance to get the fundamentals right, and see more applications: the 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France. https://isr2019.mines-paristech.fr/ Deadline for early registration: May 17 full text of call for participation http://lists.tcs.ifi.lmu.de/pipermail/loginf/2019/001723.html - J.W.