jp7/cu130: links for tagged-union-carotti