Data.Extensible.Record

type Record

(<:)

(<:*)

data h :* s

(@=)

(<@=>)

mkField

data Field kv

getField

type FieldLens k

type FieldName k

Internal

class Labelable s p

data LabelPhantom s a b