diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml
index 83cdd1d9..9ccb6bc6 100644
--- a/.github/workflows/prototyping.yml
+++ b/.github/workflows/prototyping.yml
@@ -26,9 +26,9 @@ jobs:
     - name: cabal install
       working-directory: prototyping
       run: |
-        cabal install --lib aeson
         cabal install --lib scientific
         cabal install --lib vector
+        cabal install --lib aeson
         cabal install Agda
     - name: check examples
       working-directory: prototyping
diff --git a/prototyping/FFI/Data/Scientific.agda b/prototyping/FFI/Data/Scientific.agda
index 8a5be39e..f43bc8e9 100644
--- a/prototyping/FFI/Data/Scientific.agda
+++ b/prototyping/FFI/Data/Scientific.agda
@@ -1,5 +1,6 @@
 module FFI.Data.Scientific where
 
+
 {-# FOREIGN GHC import qualified Data.Scientific #-}
 
 postulate Scientific : Set