То, что это ты напишешь только на языках с завтипами. И то так не напишешь. А далее всё просто. Что тебе непонятно?
Ну смотри. Те же конст-генерики, позволяют выразить часть семантики, которую позволяют завтипы. Но только часть, не всю. Так и эта твоя штука с порождением уникального типа позволяет выражать часть семантик, выразимых завтипами. Но почему ты сразу решил что она позволяет выражать всё, что позволяют завтипы? Яэтот индукционный переход не просекаю.