@@ -84,6 +84,12 @@ instance Nullabilizes' (IsMaybe ma) a ma => Nullabilizes a ma
84instance {-# OVERLAPPING #-} Nullabilizes Opaque Opaque
84instance {-# OVERLAPPING #-} Nullabilizes Opaque Opaque
87+-- | The @Sql@ type class describes both null and not null database values,
88+-- constrained by a specific class.
90+-- For example, if you see @Sql DBEq a@, this means any database type that
91+-- supports equality, and @a@ can either be exactly an @a@, or it could also be
87type Sql :: (Type -> Constraint) -> Type -> Constraint
93type Sql :: (Type -> Constraint) -> Type -> Constraint
89 ( (forall c. (forall x. (constraint x => c x)) => Sql c a)
95 ( (forall c. (forall x. (constraint x => c x)) => Sql c a)