Control.IndexT

type family IndexT (i :: Nat) a