In the same vein as GHC, I'm opening this ticket to track the progress in moving away from the current way of signalling errors with die' to something that allows more structure.

See also #8543 integration with the Haskell Error Index