Proposed compiler and language changes for GHC and GHC/Haskell - View it on GitHub