Category theory

Scala Valentines #5, Part 2