Richard S. Bird Ross Paterson De Bruijn Notation as a Nested Datatype. 77-91 1999 9 J. Funct. Program. 1 db/journals/jfp/jfp9.html#BirdP99