Simon Jakobi pushed new branch wip/sjakobi/T16720 at
Glasgow Haskell Compiler / GHC