[ghc-steering-committee] #179: Tweak the printing of foralls, recommendation: accept

[Eric Seidel]

On Wed, Apr 17, 2019, at 13:15, Iavor Diatchki wrote:
> Something that I've realized from the last few discussions we've had is 
> that the underlying feature I find questionable is the bit where GHC 
> infers a variable ordering from the written signatures (left to write, 
> but kinds before types, and synonyms matter). 

I'm not super happy about that either, but I think it's the only way that TypeApplications could have been made useful without requiring a vast refactoring of haskell code to e.g. add explicit foralls. And TypeApplications is incredibly useful.