matchwood

Ah nice, I put together curry/uncurry for `NP` here: https://github.com/matchwood/acid-world/blob/develop/src/Acid/Core/Utils.hs#L173 , but I stole a type family from Vinyl to do it. I think it would be worth adding both...

Yeah this library has loads of useful applications beyond generics - I ended up relying almost exclusively on it for handling heterogenous structures after experimenting with hlist, vinyl and others....

I might have time to help out with this - much of the work should be fairly straightforward I think. Would it be worth having three packages, like: `sop-base` -...

Great, I've opened a new issue for the split #75. On the subject of curry/uncurry specifically, `uncurry` is fairly straightforward, but `curry` requires some finessing. If you have any code...

I just noticed that, in fact, pretty much all fromAtom instances use error. Is there a reason for this? Are the errors caught and handled somewhere? It looks like Either...

Hi @agentm, thanks for the speedy responses! With respect to `Atomable` I'm still not quite sure why `fromAtom` is defined as `Atom -> a` rather than `Atom -> Either Text...

I am starting to explore adding a typed interface around project-m36, so I figured I should leave some thoughts here. I'm not 100% sure if what I'm trying to do...

I should maybe add that the goal would be to have some type level combinators (like `servant`) that would allow typing of more complex queries.

I think we are at cross purposes here - the blog example doesn't do anything like this. There is no typing whatsoever in any part of it. As a simple...

Perhaps my original comment wasn't clear enough type IsDbRelVar db a = (Elem db a, Tupleable a) insert :: (IsDbRelVar db a) => Connection db -> a -> m ()...