[Haskell-cafe] formal methods & functional programming