[Haskell] Re: [Haskell-cafe] ANNOUNCE: Generic Haskell 1.80 (Emerald)

[Pablo Nogueira]

On 12/04/2008, Thomas van Noort <thomas at cs.ru.nl> 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))