We are grateful to the anonymous reviewers for their valuable feedback on an earlier version of this paper.
the combinators contain the functional application, coordination, composition, type-raising and type-shifting.