Monoid

Mm-hmm.

You know, there, there, there's other pieces like, you know, gosh, um, you know, making Semigroup a superclass of Monoid, right, required almost two years' worth of fighting.

You know, making Applicative a superclass of Monad, I think John Hughes wanted to punch me in the face.

Um, [laughs] there, like, you know, Graham Hutton, like, dragged me off to a bar, and I thought I was gonna get into a bar fight.