This document is an unofficial example implementation of the system originally described in the paper Composing contracts: an adventure in financial engineering, by Simon Peyton Jones, Jean-Marc Eber, and Julian Seward. Familiarity with both versions of this paper is assumed. This example implementation is a literate Haskell program, Contracts.lhs. Don't be put off by the embedded HTML — it is an