Re: [Haskell-cafe] Types in bounds