I stumbled upon the following article that describes a remarkably simple 
implementation of arithmetic over power series in Haskell:

  http://www.cs.dartmouth.edu/~doug/powser.html

This is the only compelling example of Haskell I have ever seen and I'd like 
to see this rewritten in other languages for comparison. Has anyone tried to 
translate this into OCaml?

-- 
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e