Stack safe Function composition
Irakli Safareli

(a -> b) -> Func a b

This describes an instance of the Arrow type class, doesn’t it? I’ve always wondered if Arrows are useful in an untyped language - I guess they are.

Anyway, I think the purpose of function composition is to create new functions, not to carry out iterative work.