Now that we have iris.prelude, that seems like a better home for algebra.base.
iris.prelude
algebra.base