((\a.(\b.(ab)F))T)T
-->    (\b.(Tb)F)T
-->    (TT)F = ((\x.\y.x)T)F
-->    (\y.T)F
-->    T