@@ -958,7 +958,7 @@ select list tabs = UnsafeQuery $
958958 <+> renderTableExpression tabs
959959
960960selectStar
961− :: (tables ~ '[table ::: columns])
961+ :: tables ~ '[table ::: columns]
962962 => TableExpression params schema tables 'Ungrouped
963963 -> Query schema params columns
964964selectStar tabs = UnsafeQuery $ "SELECT" <+> "*" <+> renderTableExpression tabs
@@ -1235,7 +1235,8 @@ data ReturningClause
12351235 where
12361236 ReturningStar :: ReturningClause params columns columns
12371237 Returning
1238− :: NP (Aliased (Expression params '[table ::: columns] 'Ungrouped))
1238+ :: NP
1239+ (Aliased (Expression params '[table ::: columns] 'Ungrouped))
12391240 results
12401241 -> ReturningClause params columns results
12411242
@@ -1253,8 +1254,8 @@ data ConflictClause params columns where
12531254 Conflict :: ConflictClause params columns
12541255 OnConflictDoNothing :: ConflictClause params columns
12551256 OnConflictDoUpdate
1256− :: NP (Aliased (UpdateExpression params '[table ::: columns])) columns
1257− -> Condition params '[table ::: columns] 'Ungrouped
1257+ :: NP (Aliased (UpdateExpression params columns)) columns
1258+ -> (forall table. Condition params '[table ::: columns] 'Ungrouped)
12581259 -> ConflictClause params columns
12591260
12601261renderConflictClause
@@ -1273,12 +1274,12 @@ renderConflictClause = \case
12731274UPDATE statements
12741275-----------------------------------------}
12751276
1276−data UpdateExpression params table ty
1277+data UpdateExpression params columns ty
12771278 = Same
1278− | Set (Expression params table 'Ungrouped ty)
1279+ | Set (forall table. Expression params '[table ::: columns] 'Ungrouped ty)
12791280
12801281renderUpdateExpression
1281− :: Aliased (UpdateExpression params '[table ::: columns]) column
1282+ :: Aliased (UpdateExpression params columns) column
12821283 -> Maybe ByteString
12831284renderUpdateExpression = \case
12841285 Same `As` _ -> Nothing
@@ -1288,8 +1289,8 @@ renderUpdateExpression = \case
12881289update
12891290 :: (HasTable table schema columns, SListI columns, SListI results)
12901291 => Alias table
1291− -> NP (Aliased (UpdateExpression params '[table ::: columns])) columns
1292− -> Condition params '[table ::: columns] 'Ungrouped
1292+ -> NP (Aliased (UpdateExpression params columns)) columns
1293+ -> (forall tab. Condition params '[tab ::: columns] 'Ungrouped)
12931294 -> ReturningClause params columns results
12941295 -> Manipulation schema params results
12951296update table columns wh returning = UnsafeManipulation $