From design patterns to category theory

ARANK

How do you design good abstractions? By using abstractions that already exist.