Category theory

Scala Valentines #5, Part 1