Profunctor Equipment in Haskell
(news.ycombinator.com)
1.
2.
Monuses and Heaps
(news.ycombinator.com)