Skip to content

WIP: Avoid references to ApplicativeDo in the base haddocks

Simon Jakobi requested to merge wip/sjakobi/no-applicativedo into master

This MR tackles the unfortunate situation that "basic" concepts such as functions operating on Functors are explained through ApplicativeDo.
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 about Functor.

Tracking: #17929

cc @core-libraries

Edited by Hécate Moonlight

Merge request reports