Re: GHC 8.4 Change proposal