Is there a fixpoint operator for applicative functors, like mfix for MonadFix and loop for ArrowLoop?<br>