Срочно! Молния!

http://chris-taylor.github.io/blog/2013/02/11/the-algebra-of-algebraic-data-types-part-ii/

Если вы немного программист, то это НЕЧТО!!!

Патрушев/Ганди давно постил что-то подобие первой части. Но когда я увидел, что они тут вытворяют с деревьями, с производящими функциями. И все это в итоге вываливается в того же Каталана. Магия.

Там еще третья часть есть.