Changed to import Data.Promotion.TH only when >= 708