On Monday, 21 June 2021 at 11:37:31 UTC, Basile B. wrote: > [snip] > > ok I did not get that. Sorry for the off topic ;) I'm not sure how off topic it is...I had the same question. I didn't really understand what was going on...still not sure I do... The main question I would have for Stefan would be how exactly this relates to type functions.