Remove ApplicativeDo comparisons
This MR tackles the unfortunate situation that "basic" concepts such as functions operating on Functors are explained through
This leads to an unfortunate situation in which someone taking the Functor-Applicative-Monad route becomes exposed to abstractions that they cannot properly understand yet.
From a pedagogical point of view, one should not have to understand
ApplicativeDo and associated abstractions in order to read
Revival of !3018 (closed)