Re: [GHC] #12784: Typechecker regression in GHC 8.0.2 involving DefaultSignatures