Paul Hudak Greg Morrisett 2004 14 J. Funct. Program. 4 http://dx.doi.org/10.1017/S0956796804005088 db/journals/jfp/jfp14.html#HudakM04