Re: [ghc-steering-committee] #605: visible forall to work without ScopedTypeVariables, rec: accept