Data.Store.TH
makeStore
Testing Store instances
smallcheckManyStore
checkRoundtrip
assertRoundtrip