> > and I challenge anyone > > to find a SML fixed-point implementation that doesn't use a datatype. > > Well this is Ocaml: ... > let rec fix f x = f (fix f) x I assume Wesley wants to disallow the use of built-in recursion as well.