Composite.Record

data Rec u a b

type Record

data s :-> a

valName

valWithName

type RElem r rs

rlens

rlens'