Louis-Julien Guillemette Stefan Monnier A type-preserving closure conversion in haskell. 83-92 2007 conf/haskell/2007 Haskell http://doi.acm.org/10.1145/1291201.1291212 db/conf/haskell/haskell2007.html#GuillemetteM07