Data.Extensible.Class
class Extensible f p t
piece
pieceAssoc
itemAt
item
itemAssoc
data Membership xs x
mkMembership
class Member xs x
remember
type x ∈ xs
type family FindType x xs :: [Nat]
data Assoc k v
class Associate k v xs
type family FindAssoc key xs
type family Elaborate key xs :: Elaborated k v
data Elaborated k v