Re:Monads are monoids in the category of endofunctors
by Littlebigo on Thursday September 09, 2021 @11:15PM
(#28477410)
I absolutely agree, I was just adding the explanation for anyone unfamiliar with the syntax.
The equivalent signature in Java (if we could abstract over type functions) would be:
You'll find very similar in Scala's `cats`, up to some currying and reordering. [0][0] https://typelevel.org/cats/typeclasses/functor.html