scala - plus - Límites del tipo Nat en Shapeless