@puffnfresh after Haskell meetup, talking to someone about The Essence of the Iterator Pattern (talking about the Naperian datatypes bit, mostly), and later I said something offhandedly about applicatives being monoidal and they were like GET OUT. Today I was looking at that paper again and noticed it discusses it, too, same as (and citing) Applicative Programming with Effects. I don't get what I'm doing wrong. Am I mispronouncing "monoidal" maybe that's it.