@RussellsBarbershopQuartet @FirstProgenitor yeah i don't think they're that bad to explain
however i do feel like distinguishing them from their close relatives (functors, applicatives, and traversables) is hard to do with someone who doesn't know what they are
i also think the whole deal of "this type is an implementor of a typeclass" can be weird for people because haskell has "implementations of interfaces" just sitting around in the middle of nowhere a lot