Re: [Haskell-cafe] Categories with associated constraints?