Pragmatic Category Theory | Part 2: Composing Semigroups

You'll notice the following Functional Programming pattern many times: You define trivial...