Thank you Mr. Beckman
Indeed that is the case in the mentioned diagram + Flatten at Wolfram. I have a larger and more detailed document with actual Wolfram code adaptations of the original literature by two gurus of Category theory and Monadic theories Mac Lane and Francis Borceux.
However, I CANNOT SEE much of the Monad theory in Haskell. Watched tons of videos on Haskell monad this and that, and I was dazed and missed the point. Yet here in Wolfram Platform I know all the functions for the Monad implemented by heart!
Just to have a function that Flattens a list does not warrant a Monad structure!? So you can have a theory or programming language that does all the list operations the Monad includes and yet it has nothing to do with the aim and purpose and implementation of a Monad:
https://reference.wolfram.com/language/ref/NonThreadable.html
This is a new feature in 14.1, That is a component of the core of my Monad categorization in Mathematica. See the 2nd Red text Box highlight in the first page scanned page in my earlier post. Threading needs to be turned on or off at crucial parts of the evaluations for the Monadic expressions to work per mathematics of the theory.
Regards
Dara
