37_product_factor

Bartosz Milewski - Category Theory for Programmers , part III