prop_singleton :: Ord a => a -> Bool
prop_singleton a = a `member` (singleton a)
prop_singleton :: Ord a => a -> Bool
prop_singleton a = a `member` (singleton a)
prop_singleton a = a `member` (singleton a)