On Wednesday, 23 September 2020 at 09:46:54 UTC, Stefan Koch wrote: > That should be surprising since type functions are just regular > functions that happen to accept types as arguments ;) I meant that should _not_ be surprising.