Re: [Haskell-cafe] Re: do we need types?