[Git][ghc/ghc] Deleted branch wip/int-index/visible-forall-gadts