On 12/04/2008, Thomas van Noort <[EMAIL PROTECTED]> wrote: > Generic Haskell includes the following features: > > * type-indexed values -- generic functions that can be > instantiated on all Haskell data types. ^^^
I have perused the manual and wonder if parametric types with class constraints are now supported or are not considered Haskell types. I'm thinking of types such as data Ord a => BinTree a = Leaf | Node a (BinTree a) (BinTree a) data Functor f => GRose f a = GLeaf | GNode a (f(GTree f a)) _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe