Allow empty GADT-like constructor declarations.