Re: [Haskell-cafe] Re: Experiments with defunctionalization, church-encoding and CPS