Eitan Chatav

A very awesome approach to this problem is tackled by @mwotton's [squealgen](https://github.com/mwotton/squealgen).

They are currently missing from Squeal. Would def be open to a PR. Looks like should all be the same type as `like`.

Alternatively, a single function `genericProductRow` could be added. This would mirror current encoders. `genericRow` / `genericRowParams` would match records (position and field) as decoder / encoder `genericProductRow` / `genericParams` would...

Oh no :-( that’s not good. I tried Googling the error message but nothing useful came out. You could try putting the query alone in its own module or somehow...

Wow! Thanks so much @adfretlink and @haitlahcen ! This is great. Sorry Squeal stresses GHC out so much.

Pretty interesting. I wonder what would happen with aggressive use of partial type signatures. If _all_ intermediate schemas are wild-carded `_`, and only the initial and final schemas are explicitly...

The way I do it in my projects is I have a directory structure like ``` Schema.hs Schema/V0.hs Schema/V1.hs Schema/V2.hs .. ``` where each `V{n}.hs` has a `SchemasType` called `DB`...

There _shouldn't be_ a need to change these functions, either their types signatures or their bodies, to accommodate `Manipulation_`s or `Query_`s. That's because a `Manipulation_` _calculates_ a `Manipulation`.

It is a bit redundant and it would be cool to auto-generate `CREATE` statements. However, it's not entirely redundant because while the type-level DSL says if a column has a...

Take a look at #80. The type expression for enums (or composites or any other user defined types) is ```Haskell typedef :: Has alias schema (Typedef ty) => Alias alias...