TypeFunction example creatiing a conversion matrix

[Stefan Koch]

On Thursday, 1 October 2020 at 19:40:47 UTC, Andrei Alexandrescu 
wrote:
> On 10/1/20 3:37 PM, Stefan Koch wrote:
>> 
>> @Andrei could you explain the semantics in detail?
>> The source code is somewhat obtuse.
>
> I don't understand the question. The code is there and also 
> publicly documented. Are you asking me to read it for you?

It'll need a __trait for unqual but that should be about it.
The reason being that Unqual! is polymorphic.

Should be doable.