root/public: links for tagged-union-carotti