[Haskell-cafe] finding the right mathematical model