Thanks to Oliver Lefevre's post on Lambda the Ultimate, we now know that a company called LexiFi has written a product that evaluates and manages financial contracts, along the lines of this paper by Simon Peyton-Jones. The product is implemented in the functional language Caml. One more example of functional languages in the real world.