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.