Ambiguity issue with expanding and evaluating single template type parameter enums

[Adam Ruppe]

On Monday, 27 December 2021 at 21:21:30 UTC, data pulverizer 
wrote:
>   alias T = MyType!(INTEGER);

What is MyType?

>   enum code = "writeln(\"instance: \", adder(" ~
>               T.stringof ~ "(), " ~ U.stringof ~ "()" ~ "));";

And why is this a string mixin instead of a plain simple function?

prolly need more context....