This was quite a long exploration, so I admit I didn't quite read it in full, but without commenting too much on what things would look like today, I'd like to link my post about why Swift moved away from uniform treatment of functions as A -> B entities (and more specifically why parameter lists are not tuples).