prop_member_count :: BagTest Int bag => bag Int -> Int -> bag Int -> Bool
prop_member_count bag x xs =
    member x xs == (c > 0)
    &&
    c == Prelude.length (Prelude.filter (== x) (toOrdList xs))
  where c = count x xs

-------------------------------------------------------
-- Coll operations
prop_member_count :: BagTest Int bag => bag Int -> Int -> bag Int -> Bool
prop_member_count bag x xs =
    member x xs == (c > 0)
    &&
    c == Prelude.length (Prelude.filter (== x) (toOrdList xs))
  where c = count x xs

-------------------------------------------------------
-- Coll operations
prop_member_count bag x xs =
    member x xs == (c > 0)
    &&
    c == Prelude.length (Prelude.filter (== x) (toOrdList xs))
  where c = count x xs

-------------------------------------------------------
-- Coll operations