Bug identified

Author: jerbaroo

database-generic/src/Database/Generic/Entity/DbTypes.hs

@@ -19,8 +19,8 @@ data DbT f
 
 type F :: forall f a b. (f :: Type) -> (a :: Type) -> (b :: Type)
 type family F f a where
-  F Id       a = a
-  F Unit     _ = Unit
+  F Id   a = a
+  F Unit _ = Unit
 
 data Unit   = Unit deriving (Aeson.FromJSON, Eq, Generic, Show)
 type DbType = DbT Unit

database-generic/src/Database/Generic/Entity/ToDb.hs

@@ -18,13 +18,13 @@ class ToDbValue a where
 instance {-# OVERLAPPABLE #-} From a DbValue => ToDbValue a where
   toDbValue = Just . from
 
-instance {-# OVERLAPPABLE #-} From a DbValue => ToDbValue (Maybe a) where
-  toDbValue = fmap from
-
 -- | Values that can be converted into a list of 'DbValue'.
 class ToDbValues a where
   toDbValues :: a -> [DbValueN]
 
+instance {-# OVERLAPPABLE #-} ToDbValue (Maybe a) => ToDbValues (Maybe a) where
+  toDbValues = (:[]) . toDbValue
+
 instance {-# OVERLAPPABLE #-}
   ( G.HasEot a
   , GToDbValues (G.Eot a)