once you grok functors and algebraic type systems, a lot of other system design patterns seem like abstractions on a few key concepts.