Proposal: Add a strict version of <$> for monads

Johan Tibell johan.tibell at
Fri Nov 29 12:23:40 UTC 2013

On Fri, Nov 29, 2013 at 1:19 PM, Twan van Laarhoven <twanvl at>wrote:

> I don't like that this function is implemented for Monads, I think that it
> makes sense for some other functors as well. Though to do this 'properly'
> we would probably end up with another typeclass "StrictFunctor" or
> something, and that is perhaps too much unnecessary complexity.

Do you have an example of such a functor?

-- Johan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list