Polytypic Functions Over Nested Datatypes (Discrete Mathematics and Theoretical Computer Science, 1999)

(untitled) - Hinze, R