prop_univIsBiggest :: forall e s . SetOf e s => s -> Bool
prop_univIsBiggest s = size s <= size (univ :: s)
prop_univIsBiggest :: forall e s . SetOf e s => s -> Bool
prop_univIsBiggest s = size s <= size (univ :: s)
prop_univIsBiggest s = size s <= size (univ :: s)