type family Index (a :: k) (d :: [(k, *)]) where ...

type family Lookup (a :: k) (d :: [(k, *)]) where ...

type family Snoc (d :: [k]) (a :: k) where ...

type family Last (d :: [k]) where ...

type family Init (d :: [k]) where ...