shapeless.ops
Type class supporting conversion of type-level Nats to a Fin, only available if M < N
Type class supporting conversion of a Fin to a Nat.