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