fapp :: o → o → o
lam :: (o → o) → o
fapp(lam(X), Y) → X(Y)