@@ -29,6 +29,9 @@ import Rel8.Schema.Nullability ( Sql )
2929import Rel8.Type ( DBType )
3030
3131
32+-- | This type class exists to allow 'function' to have arbitrary arity. It's
33+-- mostly an implementation detail, and typical uses of 'Function' shouldn't
34+-- need this to be specified.
3235type Function :: Type -> Type -> Constraint
3336class Function arg res where
3437 applyArgument :: ([Opaleye.PrimExpr] -> Opaleye.PrimExpr) -> arg -> res