I wish this was exaggerated, but it isn’t at all. Every time I try to learn Haskell, I end up in some tutorial: “You know how you sometimes need to represent eigenvectors in an n-dimensional plane with isotonically theoretical pulsarfunctions? Haskell types make that easy!”