donde ahora T0 no necesita ser un tipo escalar.