Monads are Monoids in the Category of Endofunctors - a Scala 3 Journey, No Psychobabble