FLIP
=LAMBDA(f,
    LAMBDA(a,
        LAMBDA(b,
            f(b)(a)
        )
    )
)


ID
=LAMBDA(x, x)