First life-signs of type functions

[Clueless]

On Wednesday, 6 May 2020 at 11:58:36 UTC, Stefan Koch wrote:
> Hello Guys,
>
> After a bit of fiddling the following code (and only that 
> because I need do partial evaluation of the semantic pass on 
> the function body manually ...)
> Now works on the Talias branch
>
> string F(alias y)
> {
>     return y.stringof;
> }
> static assert(F!(ulong) == "ulong");
> static assert(F!(uint) == "uint");

Since type functions aren't templates, and they're functions, 
could UFCS be applied?