Why does mutual yielding make ArrowApply and Monads equivalent, unlike Arrow and Applicative?

来源：https://stackoverflow.com/questions/59869399/why-does-mutual-yielding-make-arrowapply-and-monads-equivalent-unlike-arrow-and