Průnikové vs. sjednocovací typy: Zvládnutí strategií pro skládání komplexních typů | MLOG | MLOG