Combinators for tuple (up to some finite length) construction and projection; table combinator; Support for view patterns; Using Phantom types instead of GADTs;
Combinators for tuple (up to some finite length) construction and projection;
table combinator;
Support for view patterns;
Using Phantom types instead of GADTs;

ulricha/dsh