Re: [GHC] #8753: Import constructor but not the data type