>>>>> martin <martin.drautzburg at web.de> writes: > But that's what a function does. So what's the fundamental difference > between an arrow and a fuction? Arrows abstract functions, allowing you to have constructions like Kleisli, which are Arrows, but compose in the presence of effects using (<=<) rather than (.). John