Report better suggestion for GADT data constructor