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