Polytypic functions over nested datatypes. Hinze, Ralf — 1999 Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]