diff --git a/Changelog.markdown b/Changelog.markdown
--- a/Changelog.markdown
+++ b/Changelog.markdown
@@ -1,3 +1,8 @@
+# 2024-01-12 (v0.9.9)
+
+* revert to using streamly 0.9.0 due to over-the-wire corruption bug in 0.10.0
+* fixed toAtom/fromAtom for NonEmpty lists (#363)
+	
 # 2023-12-30 (v0.9.8)
 
 * fix notification serialization in transaction (#362)
diff --git a/project-m36.cabal b/project-m36.cabal
--- a/project-m36.cabal
+++ b/project-m36.cabal
@@ -1,6 +1,6 @@
 Cabal-Version: 2.2
 Name: project-m36
-Version: 0.9.8
+Version: 0.9.9
 License: MIT
 --note that this license specification is erroneous and only labeled MIT to appease hackage which does not recognize public domain packages in cabal >2.2- Project:M36 is dedicated to the public domain
 Build-Type: Simple
@@ -35,7 +35,7 @@
      Default: True
 
 Library
-    Build-Depends: base>=4.16 && < 4.19, ghc-paths, mtl, containers, unordered-containers, hashable, haskeline, directory, MonadRandom, random-shuffle, uuid >= 1.3.12, cassava >= 0.4.5.1 && < 0.6, text, bytestring, deepseq, deepseq-generics, vector, parallel, monad-parallel, exceptions, transformers, gnuplot, filepath, zlib, directory, temporary, stm, time, old-locale, rset, attoparsec, either, base64-bytestring, data-interval, extended-reals, aeson >= 1.1, path-pieces, conduit, resourcet, http-api-data, semigroups, QuickCheck, quickcheck-instances, list-t, stm-containers >= 0.2.15, foldl, optparse-applicative, Glob, cryptohash-sha256, text-manipulate >= 0.2.0.1 && < 0.4, winery >= 1.4, curryer-rpc>=0.3.2, network, async, vector-instances, recursion-schemes, streamly == 0.9.0, convertible, fast-builder, scientific
+    Build-Depends: base>=4.16 && < 4.19, ghc-paths, mtl, containers, unordered-containers, hashable, haskeline, directory, MonadRandom, random-shuffle, uuid >= 1.3.12, cassava >= 0.4.5.1 && < 0.6, text, bytestring, deepseq, deepseq-generics, vector, parallel, monad-parallel, exceptions, transformers, gnuplot, filepath, zlib, directory, temporary, stm, time, old-locale, rset, attoparsec, either, base64-bytestring, data-interval, extended-reals, aeson >= 1.1, path-pieces, conduit, resourcet, http-api-data, semigroups, QuickCheck, quickcheck-instances, list-t, stm-containers >= 0.2.15, foldl, optparse-applicative, Glob, cryptohash-sha256, text-manipulate >= 0.2.0.1 && < 0.4, winery >= 1.4, curryer-rpc>=0.3.4, network, async, vector-instances, recursion-schemes, streamly == 0.9.0, convertible, fast-builder, scientific
     if flag(haskell-scripting)
         Build-Depends: ghc >= 9.0 && < 9.5
         CPP-Options: -DPM36_HASKELL_SCRIPTING
diff --git a/src/lib/ProjectM36/Atomable.hs b/src/lib/ProjectM36/Atomable.hs
--- a/src/lib/ProjectM36/Atomable.hs
+++ b/src/lib/ProjectM36/Atomable.hs
@@ -158,8 +158,10 @@
 
 instance Atomable a => Atomable (NE.NonEmpty a) where
   toAtom (x NE.:| []) = ConstructedAtom "NECons" (nonEmptyListAtomType (toAtomType (Proxy :: Proxy a))) [toAtom x]
-  toAtom (x NE.:| xs) = ConstructedAtom "NECons" (nonEmptyListAtomType (toAtomType (Proxy :: Proxy a))) (map toAtom (x:xs))
-  fromAtom _ = error "improper fromAtom (NonEmptyList a)"
+  toAtom (x NE.:| xs) = ConstructedAtom "NECons" (nonEmptyListAtomType (toAtomType (Proxy :: Proxy a))) [toAtom x, toAtom xs]
+  fromAtom (ConstructedAtom "NECons" _ [x]) = fromAtom x NE.:| []
+  fromAtom (ConstructedAtom "NECons" _ [x,y] ) = fromAtom x NE.:| fromAtom y
+  fromAtom x = error "improper fromAtom (NonEmptyList a)"
 
   toAtomType _ = ConstructedAtomType "NonEmptyList" (M.singleton "a" (toAtomType (Proxy :: Proxy a)))
   toAddTypeExpr _ = NoOperation
diff --git a/test/Relation/Atomable.hs b/test/Relation/Atomable.hs
--- a/test/Relation/Atomable.hs
+++ b/test/Relation/Atomable.hs
@@ -13,6 +13,7 @@
 import qualified Data.Map as M
 import Data.Proxy
 import Codec.Winery
+import Data.List.NonEmpty
 
 {-# ANN module ("Hlint: ignore Use newtype instead of data" :: String) #-}
 data Test1T = Test1C Integer
@@ -36,7 +37,7 @@
               deriving (Show, Generic, Eq, NFData, Atomable)
               deriving Serialise via WineryVariant TestListT
                        
-data TestNonEmptyT = TestNonEmptyC [Integer]
+data TestNonEmptyT = TestNonEmptyC (NonEmpty Integer)
               deriving (Show, Generic, Eq, NFData, Atomable)
               deriving Serialise via WineryVariant TestNonEmptyT
 
@@ -181,7 +182,7 @@
 
 testNonEmptyInstance :: Test
 testNonEmptyInstance = TestCase $ do
-  let example = TestNonEmptyC [3,4,5]
+  let example = TestNonEmptyC (3 :| [4,5])
   assertEqual "NonEmpty instance" example (fromAtom (toAtom example))
 
 testNonPrimitiveValues :: Test