Do you have any source for this? I think you will find that people think quite a lot about the user interface to code. For example, this is why in many modern

Do you have any source for this? I think you will find that people think quite a lot about the user interface to code. For example, this is why in many modern languages principal types are inferred and instance selection is implicit.