category-theory-for-programmers-in-scala