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