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