To a sufficiently advanced compiler, any correct implementation is equivalent to any other. The difference is how we think about it. If you look at it as takin

To a sufficiently advanced compiler, any correct implementation is equivalent to any other. The difference is how we think about it. If you look at it as taking something simple and making it needlessly complicated, then it seems pretentious, but if you look at it as taking very abstract concepts and making them more understandable with a concrete, well-known example, it's not. This might give you a good idea of where the author is coming from and trying to accomplish: https://blog.ploeh.dk/2017/10/04/from-design-patterns-to-category-theory/ https://blog.ploeh.dk/2017/10/04/from-design-patterns-to-cat...