Is typing `combine(t1, t2)` instead of `t1 + t2` the largest issue your experts have to productivity? Most folks complain about a variety of factors beyond typing speed.
I accidentally replied to yours. I had intended to reply to preseinger.
The former is in general preferable to the latter, though, because it makes it a little more clear that arbitrary computation is occurring.