As the spec allows non-unicode content, while Text can't accept arbitrary bytes.

What would be a good way to augment msgpack-types to avoid forking the library or breaking code compatibility by s/Text/ByteString/? Python's msgpack library uses use_bin_type and raw options to handle the old format, but i don't see how to do similar stuff in Haskell.

Now multiple constuctor ADT is serialized as:

• code
• [code, value]
• [code, [value, ...]]

I think code alone is ambiguous. It is deserialized as integer and integer can be deserialized to Int, Float or Double. So if you have Maybe a, Nothing is 0 while Just a is [1, Object].

So I propose empty constructor serialization as [code].

Currently the generic encoding turns records into simple sequences of fields.

Would it make sense to change the encoding for records or provide an alternative encoding that will store records as maps, similar to what aeson does?

master is ready for GHC 8.8.
Would you release a new version to rescue GHC 8.8 users?

Hi.

Currently QuickCheck instances that are needed only for tests are defined in library component, meaning that everyone using data-msgpack-types will pull QuickCheck as transitive dep.

How about moving those instances into tests and removing QuickCheck dependency from the library?