[Haskell-cafe] restricted existential datatypes
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