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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
