@@ -40,6 +40,7 @@ import Rel8.Type.Num ( DBFractional, DBNum )
4040import Rel8.Type.Semigroup ( DBSemigroup, (<>.) )
4141
4242
43+-- | Typed SQL expressions.
4344type role Expr representational
4445type Expr :: Type -> Type
4546newtype Expr a = Expr Opaleye.PrimExpr