Data.Extensible.Record

(@=)

(<@=>)

mkField

data Field kv

getField

type FieldOptic k

type FieldName k

fieldOptic

Records and variants

type Record

(<:)

data h :* s

type Variant

Internal

data LabelPhantom s a b

type family Labelling s p :: Constraint