Errata to the article (typos)
Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes
(Andreas Abel, Ralph Matthes, Tarmo Uustalu)
p.40 (section 5.3) immediately before Lemma 4 (in the published
version, this is before Lemma 5.2 on p.34):
The types of ranId and lanId have to have superscript kappa->kappa in
the inclusion relation (thanks to Dulma Rodriguez, also for the following).
One page later, the definition of the translation of MIt^kappa(s)
has to refer to M_Lan with superscript kappa->kappa (instead of kappa).
17/08/05