Finite sets, finite maps, multisets and generic sets - View it on GitHub