Cat2_0701

Bartosz Milewski - Category Theory for Programmers , part II