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