Existentials should be specified.
Existentials should be specified.

This addresses point (2) from #11513.

mcschroeder/ghc,vTurbine/ghc,ezyang/ghc,sgillespie/ghc,olsner/ghc,sgillespie/ghc,oldmanmike/ghc,vTurbine/ghc,mcschroeder/ghc,vTurbine/ghc,sgillespie/ghc,shlevy/ghc,mcschroeder/ghc,vikraman/ghc,shlevy/ghc,sgillespie/ghc,mettekou/ghc,tjakway/ghcjvm,shlevy/ghc,oldmanmike/ghc,sdiehl/ghc,sgillespie/ghc,mcschroeder/ghc,oldmanmike/ghc,snoyberg/ghc,vTurbine/ghc,mettekou/ghc,mcschroeder/ghc,oldmanmike/ghc,mcschroeder/ghc,sdiehl/ghc,snoyberg/ghc,tjakway/ghcjvm,olsner/ghc,vikraman/ghc,olsner/ghc,mcschroeder/ghc,ezyang/ghc,vikraman/ghc,oldmanmike/ghc,sdiehl/ghc,mettekou/ghc,snoyberg/ghc,ezyang/ghc,snoyberg/ghc,mettekou/ghc,shlevy/ghc,olsner/ghc,oldmanmike/ghc,olsner/ghc,shlevy/ghc,sdiehl/ghc,tjakway/ghcjvm,mettekou/ghc,snoyberg/ghc,sdiehl/ghc,mettekou/ghc,vikraman/ghc,vikraman/ghc,vTurbine/ghc,tjakway/ghcjvm,sdiehl/ghc,vikraman/ghc,sdiehl/ghc,shlevy/ghc,mettekou/ghc,snoyberg/ghc,vTurbine/ghc,snoyberg/ghc,oldmanmike/ghc,vTurbine/ghc,tjakway/ghcjvm,olsner/ghc,tjakway/ghcjvm,ezyang/ghc,ezyang/ghc,ezyang/ghc,sgillespie/ghc,ezyang/ghc,tjakway/ghcjvm,olsner/ghc,vikraman/ghc,shlevy/ghc,sgillespie/ghc