pattern matching je obecne super vec. Co ji ale dela dokonalou, je typovej system a zjisteni prekladacem, jestli jsou vsechny vetve "uplne". Tj. ze napriklad testuji na zaporna cisla, na cisla kladna v dalsi vetvi a ze jsem nezapomel na nulu. Nebo dtto s enumama a tak dal. To ale Coconut ani Python asi nezvladaji, i kdyz by to teoreticky mohlo Mypy zaridit (???)