prop_read_show :: BagTest Int bag 
               => bag Int -> bag Int -> Bool
prop_read_show bag xs = xs === read (show xs)
prop_read_show :: BagTest Int bag 
               => bag Int -> bag Int -> Bool
prop_read_show bag xs = xs === read (show xs)
prop_read_show bag xs = xs === read (show xs)