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
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
