Стрелки являются средством моделирования вычислительных эффектов, которые являются более общими и менее мощными, чем монады.
Стрелки, представленные в 2000 году Джоном Хьюзом, предоставляют средства для моделирования ряда вычислений в более строгой манере, чем монады, и, следовательно, открывают дополнительные возможности для анализа и оптимизации , Структуры, индуцированные комбинаторами Arrow, часто рассматриваются как схемы или сборочные линии .