[Haskell] any implementation of "How to write a financial contract" ?

Hello, I would like to know if there is any publicly available implementation of the combinatorial library described in the excellent "How to write a financial contract" paper by Simon Jones and Jean-Marc Eber. [1] Best regards, titto ------------------------- Pasqualino "Titto" Assini Head of Software Development Nesstar Ltd John Tabor House Wivenhoe Park Colchester,CO4 3SQ UK Tel: +44 1206 874333 Mobile: +44 7910 726 084 Fax: +44 1206 873516 E-mail: titto@nesstar.com Website: www.nesstar.com [1] See http://research.microsoft.com/Users/simonpj/Papers/financial-contracts/c ontracts-icfp.htm