<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">


<div>For flips of higher arities, you would choose a different `f`, like (f ~ (->) d . (->) c):<br>

<br></div><div>    \f a -> fmap ($a) f :: (c -> d -> a -> b) -> (a -> c -> d -> b)</div></div></div></div>
</blockquote></div><br></div><div class="gmail_extra">Hi,<br><br></div><div class="gmail_extra">Could you give a concrete example of this (for higher arities)?<br><br></div><div class="gmail_extra">Thanks,<br></div><div class="gmail_extra">


Joao<br></div></div>