Proposal: First class types (at compiletime)

[jmh530]

On Thursday, 20 July 2023 at 17:52:38 UTC, TheGag96 wrote:
> 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.

Thanks.

Stefan's work seemed interesting to me at the time, but it didn't 
seem like something trivial. I'm not sure I recall in the forums 
Walter or Atila having a strong opinion, but that could just be 
my recollection.

Maybe something for D3?