nuwa/dev: links for tagged-union-carotti