Wadler's Expression Problem (1998)
homepages.inf.ed.ac.uk