On Thursday, 20 July 2023 at 16:57:16 UTC, jmh530 wrote: > You mean dropping it was a mistake? Or you mean type functions > are a mistake? (if so, can you explain more what those > languages had an issue with) Sorry, I was probably unclear - not going the type functions route was a mistake.