I see. There exists an equivalent version but more generic? Just out of curiosity, I'm still pretty new to arrows, as you may have read :) Thanks, A. On 3 October 2012 15:59, Ertugrul Söylemez wrote:

Alfredo Di Napoli wrote:

...

Solution was simple, after reading that functions are arrows:

swapA' t = (swapFirst >>> swapSecond) (t,t) where swapFirst = first snd swapSecond = second fst

No, that's not a solution, unless a = (->) is acceptable. This code is specific to the function arrow.

Greets, Ertugrul

-- Key-ID: E5DD8D11 "Ertugrul Soeylemez " FPrint: BD28 3E3F BE63 BADD 4157 9134 D56A 37FA E5DD 8D11 Keysrv: hkp://subkeys.pgp.net/