Inspired by Julien Signoles' code for Omega, (http://www.lri.fr/~signoles/prog/misc/lambda.ml.html)
Oleg K explores different ways to create a *fully polymorphic*
fixpoint operator in Ocaml. See
http://pobox.com/~oleg/ftp/packages/fixpoints.ml
for details.
Jacques C.