On Sunday, 3 May 2020 at 09:35:34 UTC, Stefan Koch wrote: > [snip] I'm not sure if this is exactly the same thing, but it reminded me of Luis Marques' talk at DConf 2019 [1] where he discusses first class types and functions that return types. [1] http://dconf.org/2019/talks/marques.html