úΔ$SafeA - of things is valid if all the things in the  are valid.SafeA : of things is valid if all the elements are valid and the  itself is valid.SafeA 7uence of things is valid if all the elements are valid.SafeA A of things is valid if all the keys and values are valid and the  itself is valid.Safe    2validity-containers-0.1.0.2-4Ach6o1TrhOEPwwlc0sQSyData.Validity.TreeData.Validity.SetData.Validity.SequenceData.Validity.MapData.Validity.Containers$fValidityTree $fValiditySet $fValiditySeq $fValidityMapcontainers-0.5.7.1 Data.TreeTree Data.Set.BaseSet Data.SequenceSeq Data.Map.BaseMap