12 Apr
2008
12 Apr
'08
9:34 a.m.
On 12/04/2008, Thomas van Noort
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))