prop_message :: I.Message -> Bool
prop_message m = 
  Just m == maybeResult ( parse I.message (I.toByteString m))
prop_message :: I.Message -> Bool
prop_message m = 
  Just m == maybeResult ( parse I.message (I.toByteString m))
prop_message m = 
  Just m == maybeResult ( parse I.message (I.toByteString m))