Skip to content

Remove ApplicativeDo comparisons

Hécate Moonlight requested to merge Kleidukos/ghc:remove-applicative-do-comparisons 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

Revival of !3018 (closed)

Edited by Hécate Moonlight

Merge request reports