Data.HList.HTypeIndexed
class HDeleteMany e l l'
class HDeleteManyCase b e e' l l'
class HType2HNat e l n
class HType2HNatCase b e l n
hType2HNat
class HTypes2HNats ps l ns
hDeleteAtProxy
hUpdateAtType
hProjectByProxies
hSplitByProxies