Control.IndexT.TypeLevel

type family IndexT (i :: Nat) (a :: k) = (r :: k')