Haskell Symposium 2014 papers