On Wed, May 02, 2007 at 04:16:57PM -0000, [EMAIL PROTECTED] wrote: > Now the compiler gives you wonderful error messages > ``cannot match type `x y z' against Ordering'' --- > so you replace ``Ordering'' with ``x y z''.
You could just use a rigid type variable: foo :: a foo = ... > (What is the right Language.Extension for GADTs?) There is none. Stefan _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe