@@ -237,10 +237,8 @@ getValue (RowNumber r) (ColumnNumber c :: ColumnNumber pgs pg) =
237237
238238getRow
239239 :: (AllZip HasDecoding pgs xs, MonadBase IO io)
240− => RowNumber
241− -> proxy pgs
242− -> Value pgs (ExceptT Text (MaybeT io)) (NP I xs)
243−getRow (RowNumber r) (_ :: proxy pgs) = Value $ \ (Result result) -> do
240+ => RowNumber -> Value pgs (ExceptT Text (MaybeT io)) (NP I xs)
241+getRow (RowNumber r) = Value $ \ (Result result :: Result pgs) -> do
244242 maybeBytestrings <- traverse (liftBase . LibPQ.getvalue result r)
245243 [1 .. fromIntegral (lengthSList (Proxy :: Proxy pgs))]
246244 case fromList (catMaybes maybeBytestrings) of