The combinatory versions have T = K and F = (K I).)
组合子版本是T = K和F = (K I))。