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