Vladislav Zavialov deleted branch wip/int-index/visible-forall-gadts at
Glasgow Haskell Compiler / GHC