code complete on tagged constructors