Varianza OCaml(+ ''a,-''a) e invariancia

java - ¿Cuáles son las buenas razones para elegir la invariancia en una API como Stream.reduce()? -