Matt Parsons

`insertReturning` is a good question. I think the overall signature we want is something like: ```haskell insertSelectReturning :: (SqlSelect entity x, SqlSelect returning r) => => SqlQuery (SqlExpr (Insertion entity),...

Proper acceptance critieria is going to include a test where we can define a subquery that returns a `SqlMyRecord` and you can left join on it, and the result is...

I don't really think it's that much of an internal implementation detail - it shows up in the public API via `select :: (SqlSelect a r) => SqlQuery a ->...

The hanging behavior has me suspecting the `PersistField` instance for the type you're using doing some infinite recursion. Can you post the code for that?

I made a test case to reproduce the issue: ```haskell describe "sum bug?" $ do it "works" $ do [(Value msum', Value count', Value _minm, Value _maxm)] do on $...

Can you file another bug for the `repsert` issue? Plus an example query and models would be super helpful :smile: Row count should always return `bigint` which should work fine...

Restricting the type of `sum_` is actually tricky - we need to put a `CAST` in for the output type, which may be a bit more involved than we'd like....

4.0 for sure, but it may also get removed in the next major version (which would be 3.6 I think?)

I've laid out the planned version releases here. If you need the old syntax, then you'll want to depend on `esqueleto < 4`. I can create a branch at `esqueleto-3.6`...

Yeah, what I'm imagining is something like: Swap `WriterT SideData` to `StateT SideData`. Then I can write `modifyLastJoin :: (FromClause -> SqlQuery FromClause) -> SqlQuery ()`. which would let me...