type family Head rs :: k

type family ListAll rs c :: Constraint

type family Lookup r rs :: v

type family TIndex r rs :: Nat