Roland Carl Backhouse, Paul F. Hoogendijk. Generic Properties of Datatypes. In Roland Carl Backhouse, Jeremy Gibbons, editors, Generic Programming - Advanced Lectures. Volume 2793 of Lecture Notes in Computer Science, pages 97-132, Springer, 2003. [doi]
Abstract is missing.