Note that Haskell extensions all compile (straight-forwardly) down to a relatively bare (typed) language. That is, the set of fundamental concepts exposed is n

Note that Haskell extensions all compile (straight-forwardly) down to a relatively bare (typed) language. That is, the set of fundamental concepts exposed is no greater than the bare language, except the higher abstraction allows controlling which subset of the power is exposed so that type inference can be kept, and various syntactic sugar can be used. Haskell (with virtually all extensions used) doesn't have that many fundamental concepts, and a small minority of extensions actually are fundamental at all.