Data.Extensible.Record

type Record

(<:)

(<:*)

data h :* s

(@=)

(<@=>)

mkField

recordType

data Field s

type family FieldValue s :: *

type FieldLens s

type FieldName s

Internal

class Labelable s p

data LabelPhantom s a b