prop_intersectionNoLarger :: SetOf e s => s -> s -> Bool
prop_intersectionNoLarger x y =
  let i = size (x `intersection` y)
  in i <= size x && i <= size y
prop_intersectionNoLarger :: SetOf e s => s -> s -> Bool
prop_intersectionNoLarger x y =
  let i = size (x `intersection` y)
  in i <= size x && i <= size y
prop_intersectionNoLarger x y =
  let i = size (x `intersection` y)
  in i <= size x && i <= size y