Waaah! Language theory! So much notation! Waaaaaah!
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (1991) Waaah! Language theory! So much notation! Waaaaaah! View the discussion thread.