https://zbysekvoda.cz/uncategorized/my-random-thoughts-on-category-theory-for-programmers/https://zbysekvoda.cz/uncategorized/my-solutions-of-challenges-in-book-category-theory-for-programmers/https://zbysekvoda.cz/c/optimalizace-programu-v-c-kompilatorem/