(T:F: `&&` : F && F)(t:f:t)(t:f:f)(a:b:t:f:a(b(t)(f))(f))(`T`)(`F`)