Similar Items: The Formal Theory of Monads, Univalently