[Haskell-cafe] Re: Instances of constrained datatypes