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