Data.HList.RecordP
data RecordP ls vs
mkRecordP
class HSameLength l1 l2
emptyRecordP
class RecordR2P r ls vs
labels_of_recordp
class HasFieldP' b l r v
hDeleteAtLabelP
hUpdateAtLabelP
class HProjectByLabelP l ls vs lso v vso
class HProjectByLabelP' b l ls vs lso v vso