I would like to change GHC so it defaults to warning about incomplete pattern matches, since that would be (in my opinion) the less surprising behaviour.
So I opened an issue about it:
My question is if the correct first step would be to first create a ghc-proposal?