Can functional programming be liberated from the applicative style?

Modern functional languages all support higher-order functions. Nevertheless actual applications are mostly written in an applicative style. We show how working with a language based on slightly shifted concepts and embedded into a powerful environment can bring about change.