mfw someone has read The Essence of the Iterator Pattern and also Applicative Programming with Effects but still wants ~me~ to prove it to them when i casually refer to applicatives being monoidal https://mastodon.social/media/BcDRhKMWuRO06ZhBnK4