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