Re: [GHC] #14975: Refactor (Maybe Coercion)