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