Re: [Haskell-cafe] [ANN] Hac Phi 2013