[Haskell-cafe] restricted existential datatypes

[Ralf Lammel]

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.

Ralf