Hello, I am working with NewBinary, I have made a lot of datatypes which are Binary instances. Now I want to write some testing for the serialization/de-serialization. I've started with QuickCheck but it seems I can't do IO inside a property of QuickCheck, am I right ? If not, how is it done ? Not being able to work with QuickCheck, I tried HUnit only to find another problem (which I would have found with QuickCheck anyway). How do I generate a BinHandle where I can write and read what I written ? Tring to do that I wrote a test for Int: intSerialization = TestCase (do bh <- openBinMem 1024 [] let i :: Int i = 3 put_ bh i i2 <- (get bh) :: IO Int assertEqual "i == i2" i i2) it didn't work: *Network.Server.DNS> runTestTT tests ### Error in: 1 user error (HUnit:i == i2 expected: 3 but got: 209944584) In general, what method/way do you recommend to test serialization/de-serialization (note: I'd like to use QuickCheck if possible)? Thank you. -- Pupeno (http://pupeno.com)