Fix Trac #3013: multiple constructors in a GADT decl