Proposal: flipped fmap in base (again)

Bas van Dijk v.dijk.bas at
Sat Feb 18 09:09:22 UTC 2017

I'm still in favour of this so a +1 from me.

For completeness, your proposal should also specify from which module this
will be exported and what the fixity and precedence will be.


Op 18 feb. 2017 05:41 schreef "Siddhanathan Shanmugam" <
siddhanathan+eml at>:

This was proposed about 7 years ago, and rejected at the time:

 Is it okay if I revive this argument now?

I think it would be useful to have the lens operator <&> in base, which is
defined as:

(<&>) :: Functor f => f a -> (a -> b) -> f b
as <&> f = f <$> as

This is analogous to a lifted version of (&) that already present in


Libraries mailing list
Libraries at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list