Wouter Swierstra Thorsten Altenkirch Beauty in the beast. 25-36 2007 conf/haskell/2007 Haskell http://doi.acm.org/10.1145/1291201.1291206 db/conf/haskell/haskell2007.html#SwierstraA07