Meander: Declarative Explorations at the Limits of Functional Programming
youtube.com