apply :: (a → b) → a → b
apply(F, Y) → F(Y)