Wolfgang Jeltsch wolfgang-it at
Wed Aug 30 18:59:19 UTC 2017


There is the MonadFix class with the mfix method. However, there are
situations where you need a fixed point operator of type a -> f a for
some f, but f is not necessarily a monad. What about adding a FunctorFix
class that is identical to MonadFix, except that it has a Functor, not a
Monad, superclass constraint?

All the best,

More information about the Libraries mailing list