Re: recursive programming in applicative functors?

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