> assuming that any haskell function can be embedded in an > arrow instance (...) prevents a lot of interesting deep embedding uses of the Arrow > abstraction Could you point me to some specific examples? I'm new to arrows and definitely far from groking all the arcana of their usage. Janek