In "Monadic Parser Combinators" (1996) by Graham Hutton and Erik Meijer, the authors state that "Some prior exposure to functional programming would be helpful in reading this article, but special features of Gofer (Jones, 1995b) --- our implementation language --- are explained as they are used. Any other lazy functional language that supports (multi-parameter) constructor classes and the use of monad comprehension notation would do equally well. ...." I am curious: was there any other language at the time supporting all of these features, or was this a joke? Also, why were monad comprehensions removed from Haskell? Was it for efficiency? -- /Times-Bold 40 selectfont/n{moveto}def/m{gsave true charpath clip 72 400 n 300 -4 1{dup 160 300 3 -1 roll 0 360 arc 300 div 1 1 sethsbcolor fill}for grestore 0 -60 rmoveto}def 72 500 n(This message has been)m (brought to you by the)m(letter alpha and the number pi.)m(David Feuer) m(David_Feuer@brown.edu)m showpage