On Friday, 18 January 2019 at 20:03:48 UTC, Mark wrote:
[...]Represent types as strings, CTFE them as you see fit, and output a string that can then be mixin'ed to use the actual type. :)
Two problems:1) Mixing in a string is unhygienic. If two modules (or two scopes in the same module) define types with the same name, you might get the wrong one.
2) You can't mixin the name of a Voldemort type.
