Back to working!

src/Rel8/Core.hs

@@ -511,7 +511,7 @@ just used integers (the type distinction does not impact query generation).
 
 -}
 
-class (ExprType a ~ Expr a, ResultType (Expr a) ~ a, ExprType (Maybe a) ~ Expr (Maybe a), Serializable (Expr a) a) => DBType (a :: Type) where
+class (ExprType a ~ Expr a, ResultType (Expr a) ~ a, ExprType (Maybe a) ~ Expr (Maybe a)) => DBType (a :: Type) where
   typeInformation :: DatabaseType a a
 
 

src/Rel8/Query.hs

@@ -62,6 +62,7 @@ import Rel8.Expr
 import qualified Rel8.Optimize
 import Rel8.TableSchema
 import Data.Functor.Compose (Compose)
+import Debug.Trace
 
 
 -- | The type of @SELECT@able queries. You generally will not explicitly use
@@ -143,7 +144,7 @@ insert connection Insert{ into, rows, onConflict, returning } =
   liftIO
     ( Opaleye.runInsert_
         connection
-        ( toOpaleyeInsert into rows returning )
+        ( toOpaleyeInsert into (trace (show (length rows)) rows) returning )
     )
 
   where