I'm really sorry, Guest, I've found another mistake.
I wrote: Here X, Y are both variables of type >,t>>, in the above.
This line should be: X, Y are both variables of type >.
Thus my answer to your question is ...
The semantic value of determiners is:
>,>,t>>
The blue-boxed one is a...