more tests for tagged constructors