I'd love to see a language with structural types where functions are always unary and tuples don't exist. Every function call would look like either f () (no args), f 1 (one arg) or f (foo: 1, bar: 2) (multiple args, names mandatory).

I started building a language like this but I haven't worked on it in a while.