Great! The great thing about category theory is that those moments keep coming. "A category is just a monad in the bicategory of endospans." _POW!_