Data.Extensible.Field
data Field h kv
type FieldOptic k
type FieldName k
type RecordOf h
type Record
type VariantOf h
type Variant
type family AssocValue (kv :: Assoc k v) :: v where ...
class KeyValue pk pv kv
data LabelPhantom s a b
type family Labelling s p :: Constraint where ...
data Inextensible h xs