Improve Monad, Functor & Applicative documentation
This patch aims to improve the documentation of Functor, Applicative, Monad and related symbols. The main goal is to make it more consistent and make accessible. See also: !10979 (closed) and !10985 (closed)
Tracking: #17929 @core-libraries