Simon Hengel pushed new branch wip/sol/typo/gadt at
Glasgow Haskell Compiler / GHC