Somewhat related: the Lambek calculus[0], which is kind of a general type system for written languages. Words are either functions or concrete types, and functions can take their arguments on the left or right.