[Haskell-cafe] "Conceptual Mathematics"