@@ -424,6 +424,9 @@ type family FromExprs a where
424 FromExprs (t (H DB)) = t (H Result)
424 FromExprs (t (H DB)) = t (H Result)
427+-- | @Serializable@ witnesses the one-to-one correspondence between the type
428+-- @sql@, which contains SQL expressions, and the type @haskell@, which
429+-- contains the Haskell decoding of rows containing @sql@ SQL expressions.
427class (ToExprs a exprs, a ~ FromExprs exprs) => Serializable exprs a | exprs -> a
430class (ToExprs a exprs, a ~ FromExprs exprs) => Serializable exprs a | exprs -> a
428instance (ToExprs a exprs, a ~ FromExprs exprs) => Serializable exprs a
431instance (ToExprs a exprs, a ~ FromExprs exprs) => Serializable exprs a
429instance Serializable (Expr Opaque) Opaque
432instance Serializable (Expr Opaque) Opaque