Let's see how much category theory we can cram into Swift.