Swapped order, cork is λ[a b].λx.(b(a(x)))