Category theory

Scala Valentines #2