@@ -199,7 +199,7 @@ pqThen pq2 pq1 = pq1 & pqBind (\ _ -> pq2)
199199
200200-- | Run a `Definition` with `LibPQ.exec`, we expect that libpq obeys the law
201201--
202−-- @pqThen (define statement2) statement1 = define (statement2 . statement1)@
202+-- @define statement1 & thenDefine statement2 = define (statement1 >>> statement2)@
203203define
204204 :: MonadBase IO io
205205 => Definition schema0 schema1
@@ -317,7 +317,7 @@ class Monad pq => MonadPQ schema pq | pq -> schema where
317317 traversePrepared_ manipulation params
318318
319319 forPrepared_
320− :: (ToParams x params, Traversable list)
320+ :: (ToParams x params, Foldable list)
321321 => list x
322322 -> Manipulation schema params '[]
323323 -- ^ `insertInto`, `update` or `deleteFrom`