Nijak, stary stav se zahodi a vytvori se novy, kopie stareho s pozmenymi vlastnostmi.
U monád se nic nezahazuje.
To je nasměrování - děkuji, kouknu (i když ten aparát vypadá docela nepřehledně...).
Ono to je poměrně přehledné, ale moc abstraktní. Doporučuju něco o monádách pro vývojáře než knihu pro matematiky (aspoň pro začátek). Nejlépe to člověk asi pochopí z příkladů.
Pro cloveka, co nikdy nevidel funkcionalni programovani je to naprosto nepochopitelne. Dostat odpoved Monady na takovy dotaz, je stejne jako, kdyz se ctyrlete dite zepta proc je v noci tma a vy mu reknete: geometrie trirozmerneho prostoru.
Klasicky akademicky pristup nasich skol...
Univerzity jsou tak nějak z definice akademické...
Nicméně v FP nic krom monád uvedený problém neřeší a aspoň osmnáctileté "dítě" je určitě schopno najít si k monádám tutoriál na webu, je jich tam habaděj (i Wikipedie to podává celkem srozumitelně). Navíc monády jsou jedním z konceptů, které jinak než "akademicky" vysvětlit nejdou. Pokud to někomu vadí, nemá v IT co dělat.