[Haskell-cafe] Is there anyone out there who can translate C# generics into Haskell?

[Nicholls, Mark]

I'm trying to translate some standard C# constucts into Haskell... some
of this seems easy....

Specifically

1) 

Interface IX
{
}

2)

Interface IX<A>
{
}

3)

Interface IX<A>
	Where A : IY
{
}

4)

Interface IX<A> : IZ
	Where A : IY
{
}


I can take a punt at the first 2....but then it all falls apart