This is why I think a language with refinement types (and maybe dependent types) as well as an effect system would be great as more could be inferred from the f

This is why I think a language with refinement types (and maybe dependent types) as well as an effect system would be great as more could be inferred from the function signature. You would still need to go down the rabbit hole of abstractions a bit but at least you know what you're getting into and if the abstraction is useless.