Agree 100%. It's heavy-handed in the way that bible fables are heavy-handed. Crisp prose doesn't imply dull prose.
It also channels worst kind of self-indulgent Haskell type-level programming that I've see in real-world projects. That isn't funny when you have to rip out the guts of the system because the head developer left for an even better Haskell gig.
It also channels worst kind of self-indulgent Haskell type-level programming that I've see in real-world projects. That isn't funny when you have to rip out the guts of the system because the head developer left for an even better Haskell gig.