zoeb
  ∷ ∀ f a
  . Functor f
  ⇒ f (f (Effect (Lazy a)) → Effect (Lazy a))
  → Effect (f (Lazy a))

zoeb
  ∷ ∀ f a m
  . Functor f
  ⇒ MonadEffect m
  ⇒ f (f (m (Lazy a)) → m (Lazy a))
  → m (f (Lazy a))

loeb' ∷ ∀ f a. Functor f ⇒ f (Effect (f (Lazy a)) → Effect (Lazy a)) → Effect (f (Lazy a))

mmoeb f x = mfix go where go g = f ($ g) x

mloeb :: (MonadFix m, Traversable t) => t (t b -> m b) -> m (t b)
mloeb x = mmoeb mapM

No, but that’s an interesting question

~I’d probably say dying at the moment~ I’ve been informed this is not constructive or helpful. Sorry everyone. (edited)
Even if slowly
Maybe this is what we should discuss

Try PureScript is still on 0.11 and the book is dead so maybe I should just take those down and remove the links