In the previous installment of Category Theory for Programmers we talked about the category of types and functions. If you're new to the series, here's the link to the initial post. You can get rea...