Hello list, I'm having trouble finding information on this; does ocaml support polymorphic recursion and, if so, what's the syntax? --Jacques