I could add definitions from Function1 to Function...

# language-proposals

[dh44t]

I could add definitions from Function1 to Function22 as part of funKTionale, but I think is quite flaky as there is no way to enforce in the type system