diff --git a/MultiChor.cabal b/MultiChor.cabal
--- a/MultiChor.cabal
+++ b/MultiChor.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               MultiChor
-version:            1.0.1.0
+version:            1.0.1.1
 license-files:
     , LICENSE
     , LICENSE.inherited
@@ -12,7 +12,7 @@
     MultiChor is a library for functional choreographic programming in Haskell.
 
 tested-with:
-    GHC == 9.4.8
+    GHC == 9.4.8, GHC == 9.10.1
 
 extra-doc-files:
     README.md
@@ -80,27 +80,26 @@
     import: lib-dependent
     if flag(test)
       buildable: True
+      hs-source-dirs:   examples
+      build-depends:
+          , async      >= 2.2  && < 2.3
+          , binary               >= 0.8.9.0 && < 0.10.1.0
+          -- trying to get hls to work with TestSuite
+          , Cabal >= 3.6.3 && < 3.13
+          --, cabal-detailed-quickcheck >= 0.2.0 && < 0.3
+          --
+          , containers >= 0.6  && < 0.7
+          , cryptonite           >= 0.10  && < 0.31
+          , finite-field >= 0.10.0 && < 0.11.0
+          , split   >= 0.2  && < 0.3
+          , random  >= 1.2  && < 1.3
+          , time    >= 1.11 && < 1.15
+          , transformers >= 0.5  && < 0.7
+          , QuickCheck >= 2.14 && < 3
+      other-modules: Distribution.TestSuite.QuickCheck
+                   , CLI
     else
       buildable: False
-    hs-source-dirs:   examples
-    build-depends:
-        , async      >= 2.2  && < 2.3
-        , binary               >= 0.8.9.0 && < 0.10.1.0
-        -- trying to get hls to work with TestSuite
-        , Cabal >= 3.6.3 && < 3.13
-        --, cabal-detailed-quickcheck >= 0.2.0 && < 0.3
-        --
-        , containers >= 0.6  && < 0.7
-        , cryptonite           >= 0.10  && < 0.31
-        , finite-field >= 0.10.0 && < 0.11.0
-        , split   >= 0.2  && < 0.3
-        , random  >= 1.2  && < 1.3
-        , time    >= 1.11 && < 1.15
-        , transformers >= 0.5  && < 0.7
-        , QuickCheck >= 2.14 && < 3
-    other-modules: Data
-                 , Distribution.TestSuite.QuickCheck
-                 , CLI
 
 Test-Suite testExamples
     import: example
@@ -133,107 +132,107 @@
                  , QuickSort
                  , RingLeader
 
-executable bank-2pc
-    import: example
-    main-is:          Bank2PC.hs
-    ghc-options:
-      -main-is Bank2PC
-
-executable lottery
-    import: example
-    main-is:          Lottery.hs
-    ghc-options:
-      -main-is Lottery
-
-
-executable bookseller-0-network
-    import: example
-    main-is:          Bookseller0Network.hs
-    ghc-options:
-      -main-is Bookseller0Network
-
-executable bookseller-1-simple
-    import: example
-    main-is:          Bookseller1Simple.hs
-    ghc-options:
-      -main-is Bookseller1Simple
-
-executable bookseller-2-higher-order
-    import: example
-    main-is:          Bookseller2HigherOrder.hs
-    ghc-options:
-      -main-is Bookseller2HigherOrder
-
-executable bookseller-3-loc-poly
-    import: example
-    main-is:          Bookseller3LocPoly.hs
-    ghc-options:
-      -main-is Bookseller3LocPoly
-
-executable diffiehellman
-    import: example
-    main-is:          DiffieHellman.hs
-    ghc-options:
-      -main-is DiffieHellman
-
-executable gmw-real
-    import: example
-    main-is:          GMWReal.hs
-    ghc-options:
-      -main-is GMWReal
-    other-modules:
-      ObliviousTransfer
-
-executable karatsuba
-    import: example
-    main-is:          Karatsuba.hs
-    ghc-options:
-      -main-is Karatsuba
-
-executable kvs1
-    import: example
-    main-is:          KVS1Simple.hs
-    ghc-options:
-      -main-is KVS1Simple
-
-executable kvs2
-    import: example
-    main-is:          KVS2PrimaryBackup.hs
-    ghc-options:
-      -main-is KVS2PrimaryBackup
-
-executable kvs3
-    import: example
-    main-is:          KVS3HigherOrder.hs
-    ghc-options:
-      -main-is KVS3HigherOrder
-
-executable kvs4
-    import: example
-    main-is:          KVS4LocPoly.hs
-    ghc-options:
-      -main-is KVS4LocPoly
-
-executable mergesort
-    import: example
-    main-is:          MergeSort.hs
-    ghc-options:
-      -main-is MergeSort
-
-executable oblivious-transfer
-    import: example
-    main-is:          ObliviousTransfer.hs
-    ghc-options:
-      -main-is ObliviousTransfer
-
-executable quicksort
-    import: example
-    main-is:          QuickSort.hs
-    ghc-options:
-      -main-is QuickSort
-
-executable ring-leader
-    import: example
-    main-is:          RingLeader.hs
-    ghc-options:
-      -main-is RingLeader
+--executable bank-2pc
+--    import: example
+--    main-is:          Bank2PC.hs
+--    ghc-options:
+--      -main-is Bank2PC
+--
+--executable lottery
+--    import: example
+--    main-is:          Lottery.hs
+--    ghc-options:
+--      -main-is Lottery
+--
+--
+--executable bookseller-0-network
+--    import: example
+--    main-is:          Bookseller0Network.hs
+--    ghc-options:
+--      -main-is Bookseller0Network
+--
+--executable bookseller-1-simple
+--    import: example
+--    main-is:          Bookseller1Simple.hs
+--    ghc-options:
+--      -main-is Bookseller1Simple
+--
+--executable bookseller-2-higher-order
+--    import: example
+--    main-is:          Bookseller2HigherOrder.hs
+--    ghc-options:
+--      -main-is Bookseller2HigherOrder
+--
+--executable bookseller-3-loc-poly
+--    import: example
+--    main-is:          Bookseller3LocPoly.hs
+--    ghc-options:
+--      -main-is Bookseller3LocPoly
+--
+--executable diffiehellman
+--    import: example
+--    main-is:          DiffieHellman.hs
+--    ghc-options:
+--      -main-is DiffieHellman
+--
+--executable gmw-real
+--    import: example
+--    main-is:          GMWReal.hs
+--    ghc-options:
+--      -main-is GMWReal
+--    other-modules:
+--      ObliviousTransfer
+--
+--executable karatsuba
+--    import: example
+--    main-is:          Karatsuba.hs
+--    ghc-options:
+--      -main-is Karatsuba
+--
+--executable kvs1
+--    import: example
+--    main-is:          KVS1Simple.hs
+--    ghc-options:
+--      -main-is KVS1Simple
+--
+--executable kvs2
+--    import: example
+--    main-is:          KVS2PrimaryBackup.hs
+--    ghc-options:
+--      -main-is KVS2PrimaryBackup
+--
+--executable kvs3
+--    import: example
+--    main-is:          KVS3HigherOrder.hs
+--    ghc-options:
+--      -main-is KVS3HigherOrder
+--
+--executable kvs4
+--    import: example
+--    main-is:          KVS4LocPoly.hs
+--    ghc-options:
+--      -main-is KVS4LocPoly
+--
+--executable mergesort
+--    import: example
+--    main-is:          MergeSort.hs
+--    ghc-options:
+--      -main-is MergeSort
+--
+--executable oblivious-transfer
+--    import: example
+--    main-is:          ObliviousTransfer.hs
+--    ghc-options:
+--      -main-is ObliviousTransfer
+--
+--executable quicksort
+--    import: example
+--    main-is:          QuickSort.hs
+--    ghc-options:
+--      -main-is QuickSort
+--
+--executable ring-leader
+--    import: example
+--    main-is:          RingLeader.hs
+--    ghc-options:
+--      -main-is RingLeader