On 2021-01-02 00:55, Stefan Koch wrote: > After type functions are in; I plan on generalizing further and > introduce a proper TOP type. > Which can bind to anything (like T... in a template) Isn't that what `alias` parameters do? -- /Jacob Carlborg