recursive programming in applicative functors?

Ashley Yakeley ashley at
Fri Mar 16 17:40:05 EDT 2007

Conal Elliott wrote:
> Is there a fixpoint operator for applicative functors, like mfix for 
> MonadFix and loop for ArrowLoop?

One of these?

  (fmap fix) :: m (a -> a) -> m a
  fix :: (m a -> m a) -> m a

More information about the Libraries mailing list