Functional Pearl: Enumerating the Rationals [pdf]
cs.ox.ac.uk