T = \x y. x FST = \p. p T (E1,E2) = \f. f E1 E2
FST (E1,E2) = E1
Animation
MULT = \m n f x. m (n f) x 5 = \f x. f (f (f (f (f x))))
MULT 2 3 = 6
tags: lambdadate: 06.02.2018