[Haskell-cafe] Proposal filed to GHC, expecting supporters vote: Type supplement for constructor specific uses of sum types