"Functional pearl: i am not a number-i am a free variable."

Conor McBride, James McKinna (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics