Data.Extensible.Class

Class

class Extensible f p q t

piece

pieceAssoc

Membership

data Membership xs x

mkMembership

Member

class Member xs x

remember

type x ∈ xs

type family FindType x xs :: [Nat]

Association

data Assoc k v

class Associate k v xs

type family FindAssoc key xs

Sugar

type family Elaborate key xs :: Elaborated k v

data Elaborated k v