This is literally textbook Design Patterns stuff. Haskell gives you executable machine-checkable design patterns, instead of just comments.