Re: [Haskell-cafe] Off-topic: Mathematics and modesty