Re: [GHC] #11439: Request for comments: Allow duplicate type signatures