Re: [Haskell-cafe] Re: practicality of typeful programming