"Type-safe cast: functional pearl."

Stephanie Weirich (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics