[Haskell-cafe] Research in functional programming