Simon Jakobi pushed new branch wip/sjakobi/checkTyEqRhs at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/sjakobi/checkTyEqRhs You're receiving this email because of your account on gitlab.haskell.org.