[Haskell-cafe] restricted existential datatypes

Ralf Lammel Ralf.Lammel at microsoft.com
Wed Jan 10 00:01:12 EST 2007

Did I say TICs?
Assuming that you want to "tuple up" many constraints, I should have said TIPs of course.

The SYB3 code distribution actually exercises some related chaining of contexts; cf. PairCtx.
However, what's missing is the "obliviousness dimension" for irrelevant constraints.
So you may want something like:

class Sat ctx a => SatMember ctx ctx' a

Let us know whether something like this works.


More information about the Haskell-Cafe mailing list