j
k
j a
j l
For flips of higher arities, you would choose a different `f`, like (f ~ (->) d . (->) c): \f a -> fmap ($a) f :: (c -> d -> a -> b) -> (a -> c -> d -> b)
For flips of higher arities, you would choose a different `f`, like (f ~ (->) d . (->) c):
\f a -> fmap ($a) f :: (c -> d -> a -> b) -> (a -> c -> d -> b)
Hi, Could you give a concrete example of this (for higher arities)? Thanks, Joao
Attachments:
Back to the thread
Back to the list
