Re: [GHC] #11608: Possible type-checker regression in GHC 8.0 when compiling `microlens`