29 Nov
2013
29 Nov
'13
12:23 p.m.
On Fri, Nov 29, 2013 at 1:19 PM, Twan van Laarhoven
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