In the exercise in part 1 on recursion and folds mapTR is written without prime, but in the solution mapTR' is written with prime.
I assume mapTR is meant to be mapTR' in both cases to avoid conflicts with mapTR from the prelude. The same may apply to filterTR, but I'm overall not sure if there is some consistency intended or if the reader is supposed to disambiguate themself.
Also note that mapMaybeTR (here in exercise) is disambiguated as mapMayTR. Perhaps some consistent naming/disambiguation scheme would be less confusing.
In the exercise in part 1 on recursion and folds
mapTRis written without prime, but in the solutionmapTR'is written with prime.I assume
mapTRis meant to bemapTR'in both cases to avoid conflicts withmapTRfrom the prelude. The same may apply tofilterTR, but I'm overall not sure if there is some consistency intended or if the reader is supposed to disambiguate themself.Also note that
mapMaybeTR(here in exercise) is disambiguated asmapMayTR. Perhaps some consistent naming/disambiguation scheme would be less confusing.