@@ -133,13 +133,10 @@ instance Binary Canonical where
133133
134134instance Binary Value where
135135 put portable =
136− let put' n info = putWord8 n >> put info in
137136 case portable of
138− Value name -> put' 0 name
139− Alias name -> put' 1 name
140− ADT name ctors ->
141− do put' 2 name
142− put ctors
137+ Value name -> putWord8 0 >> put name
138+ Alias name -> putWord8 1 >> put name
139+ ADT name ctors -> putWord8 2 >> put name >> put ctors
143140
144141 get = do tag <- getWord8
145142 case tag of
@@ -150,7 +147,6 @@ instance Binary Value where
150147
151148instance (Binary a) => Binary (Listing a) where
152149 put (Listing explicits open) =
153− do put explicits
154− put open
150+ put explicits >> put open
155151
156152 get = Listing <$> get <*> get