public open import Data::FiniteMultiSet::Core
// public open import Data::FiniteMultiSet::WellFounded