fapp :: (a → b) → a → b
fapp(X, Y) → X(Y)