Sebastian Graf pushed new branch wip/sg/enter-taggable-invariant at
Glasgow Haskell Compiler / GHC