"Meander: Declarative Explorations at the Limits of FP" by Jimmy Miller