Well “Monoid” is a different sort of composible than something like like T -> Promise U. I do agree that Monoid and Monad aren’t really great names for anyone

Well “Monoid” is a different sort of composible than something like like T -> Promise U. I do agree that Monoid and Monad aren’t really great names for anyone who doesn’t come from an algebra background (ie basically anyone).