Rob Norris

holy crap

This is done by the JDBC driver so it's kind of outside doobie's control (doobie itself doesn't rewrite queries).

@vmarquez `Catchable` is trying to abstract over data types that can observe nontermination, which is bogus ... it's a side-effect so `IO` should be the only data type that has...

Also is `Arrow` actually broken, or just not useful? Seems like it doesn't quite fit with the other things on the list. Might be worth moving to another issue.

And while we're at it, how do we feel about `Actor`? It depends on `Strategy`.

Thanks! This needs to go somewhere else in the doc but I'm not sure where. I will fold it in next time I work on docs.

You need the kind-projector compiler plugin. We should add that to the doc.

Cool, thanks!

This is a good idea. It's a common question. I will take care of it next time I'm working on doc. Thanks!

Thanks for the report. Need better handling for broken sockets.