3 ms·

GeneralisedNewtypeDeriving is one that I'd consider fairly important as well.

• eru 4y ago
  And also fairly benign, yes. In contrast: GADTs are really important, but they get you pretty far away from Vanilla Haskell.