Haskell中的泛型序列化

我在尝试反序列化对象时遇到此错误

Amy64.hs: GetException "too few bytes\nFrom:\tdemandInput\n\n"

将创建输出文件，如下所示：

00000000  1f 8b 08 00 00 00 00 00  04 03 63 60 00 03 56 a7  |..........c`..V.|
00000010  d2 f4 e2 4a 00 be b2 38  41 0d 00 00 00           |...J...8A....|

我怀疑我没有正确使用新的泛型。这是我的密码。顺便说一下，如果我删除第9行、第22行和第23行，我会得到相同的结果。如果我删除gzip/ungzip内容，我会得到相同的结果

{-# LANGUAGE DeriveGeneric #-}

import Data.Conduit (runResourceT, ($$), (=$))
import Data.Conduit.Binary (sinkFile, sourceFile)
import Data.Conduit.Cereal (sinkGet, sourcePut)
import Data.Conduit.Zlib (gzip, ungzip)
import qualified Data.Serialize as DS (Serialize, get, put)
import GHC.Generics (Generic)
import Data.Serialize.Derive (derivePut, deriveGet) -- line 9

readBug :: FilePath -> IO (Either String Bug)
readBug f = 
  runResourceT $ sourceFile f $$ ungzip =$ sinkGet (DS.get)

writeBug :: FilePath -> Bug -> IO ()
writeBug f t = 
  runResourceT $ sourcePut (DS.put t) $$ gzip =$ sinkFile f

data Bug = Bug String deriving (Show, Generic)

instance DS.Serialize Bug where
  put = derivePut -- line 22
  get = deriveGet -- line 23

main = do
  let a = Bug "Bugsy"
  writeBug "x.dat" a
  (Right b) <- readBug "x.dat" :: IO (Either String Bug)
  print b

{-#派生通用语言}
导入数据.conduction（runResourceT，（$$），（=$））
导入Data.conductor.Binary（sinkFile、sourceFile）
导入Data.conductor.graines（sinkGet、sourcePut）
导入Data.conductor.Zlib（gzip，ungzip）
导入符合条件的数据。序列化为DS（序列化、获取、放置）
进口GHC.仿制药（仿制药）
导入Data.Serialize.Derive（derivePut，deriveGet）--第9行
readBug:：FilePath->IO（任一字符串错误）
readBug f=
runResourceT$sourceFile f$$ungzip=$sinkGet（DS.get）
writeBug:：文件路径->错误->IO（）
writeBug f t=
runResourceT$sourcePut（DS.put t）$$gzip=$sinkFile f
数据错误=错误字符串派生（显示，通用）
实例DS。序列化错误，其中
put=派生put--第22行
get=deriveGet——第23行
main=do
让a=Bug“Bugsy”
写下bug“x.dat”a
（右b）事实证明，我的错误与泛型本身无关。
readBug
函数上的错误类型签名导致它尝试读取
字符串Bug
，而不仅仅是
Bug

{-# LANGUAGE DeriveGeneric #-}

import Data.Conduit (runResourceT, ($$), (=$))
import Data.Conduit.Binary (sinkFile, sourceFile)
import Data.Conduit.Cereal (sinkGet, sourcePut)
import Data.Conduit.Zlib (gzip, ungzip)
import qualified Data.Serialize as DS (Serialize, get, put)
import GHC.Generics (Generic)
import Data.Serialize.Derive (derivePut, deriveGet) -- line 9

readBug :: FilePath -> IO Bug
readBug f = 
  runResourceT $ sourceFile f $$ ungzip =$ sinkGet DS.get

writeBug :: FilePath -> Bug -> IO ()
writeBug f t = 
  runResourceT $ sourcePut (DS.put t) $$ gzip =$ sinkFile f

data Bug = Bug String deriving (Show, Generic)

instance DS.Serialize Bug where
  put = derivePut -- line 22
  get = deriveGet -- line 23

main :: IO ()
main = do
  let a = Bug "Bugsy"
  writeBug "x.dat" a
  b <- readBug "x.dat" :: IO Bug
  print b

{-#派生通用语言}
导入数据.conduction（runResourceT，（$$），（=$））
导入Data.conductor.Binary（sinkFile、sourceFile）
导入Data.conductor.graines（sinkGet、sourcePut）
导入Data.conductor.Zlib（gzip，ungzip）
导入符合条件的数据。序列化为DS（序列化、获取、放置）
进口GHC.仿制药（仿制药）
导入Data.Serialize.Derive（derivePut，deriveGet）--第9行
readBug:：文件路径->IO错误
readBug f=
runResourceT$sourceFile f$$ungzip=$sinkGet DS.get
writeBug:：文件路径->错误->IO（）
writeBug f t=
runResourceT$sourcePut（DS.put t）$$gzip=$sinkFile f
数据错误=错误字符串派生（显示，通用）
实例DS。序列化错误，其中
put=派生put--第22行
get=deriveGet——第23行
main:：IO（）
main=do
让a=Bug“Bugsy”
写下bug“x.dat”a
B