Los tipos formales de un genérico se pueden especificar para que pertenezcan a una determinada clase de tipos.