1) Nadefinujte funkci forEach, stylem jako ve 12. přednášce
2) Dk. zachování typů:
t : T a zároveň t ⇒ t' –> t' : T
3) Dk. terminace jazyka ze (2)
4) přepis do denotační sémantiky
5) Dokaž na základě vlastností Progress a Soundness, že je (zadané) pravidlo podtypovosti rekurzivního typu špatně definované.
Čas nic moc, spíš málo než hodně.