blue storm a écrit :
> OCaml uses a relaxed value restriction : types in covariant-only
> positions (as the 'a in 'a list) are generalized. See paper [3] of
> http://caml.inria.fr/about/papers.en.html :
> http://caml.inria.fr/pub/papers/garrigue-value_restriction-fiwflp04.pdf
>   
Thank you for your short but accurate explanation. I would have known, 
since I cited this paper in my query, if only I was more familiar with 
ocaml's type inferer.

Regards,
Antoine Delignat-Lavaud