membership
This package provides classes for membership of type level lists which can be applied to extensible records, variants and effects. Handling memberships explicitly as a datatype, rather than by constraints, makes it much more manageable to work with.