, null
, size
, member
+ , notMember
, isSubsetOf
, isProperSubsetOf
GT -> member x r
EQ -> True
+-- | /O(log n)/. Is the element not in the set?
+notMember :: Ord a => a -> Set a -> Bool
+notMember x t = not $ member x t
+
{--------------------------------------------------------------------
Construction
--------------------------------------------------------------------}