I've just fixed UFCS for the experimental type function branch

[Stefan Koch]

On Thursday, 10 September 2020 at 18:44:46 UTC, Meta wrote:
> Really though, is it even necessary to be able to "freeze" a 
> type like this when evaluating type functions?

type functions cannot change the functions they are working on.
So from that point you don't have to enforce a determinate size,
But at the same time, I expect people to only feed determined 
things into type functions.
Everything else is mighty confusing.