Los genéricos le permiten escribir una implementación para muchos tipos: Box<T> contiene un valor de tipo T. El compilador verifica los tipos en el momento de la compilación; en los parámetros de tipo JVM se borran: T no se conoce en tiempo de ejecución, excepto con funciones en línea reificadas. Utilice límites superiores (T: Comparable<T>) para llamar a métodos en T.