Предположим, что две функции f(x) и g(x) существуют и работают для аналогичных целей, но требуют контекстуального значения, чтобы определить, какое из них использовать в рамках одной и той же более широкой функции. . В контексте программирования это может быть легко решено с помощью условной проверки, но часто в «функциональном программировании», таком как Haskell, чистое математическое представление предпочтительнее для целей «каррирования» и повышения эффективности, по этой причине..