Re: [GHC] #11050: [bug] ModOrigin: hidden module redefined