Proposal: First class types (at compiletime)

[TheGag96]

On Thursday, 20 July 2023 at 18:55:14 UTC, jmh530 wrote:
> 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?

Again, my original comment may have been unclear (argh lol). It 
was indeed very non-trivial, which is the unfortunate part.