matchwood

So I have made considerable progress on this front, but I'm currently stalling a bit after running into the performance issue documented in #210 . So far I have got...

I should add that the code is based entirely around generics, generics-sop and a bunch of closed type families, with no need for template haskell.

Ok good, I will try to get a demo repo up in a week or two - I'll leave a comment here when I manage it!

Well... it was a little bit longer, but here you are https://github.com/matchwood/project-m36-typed . I have actually moved on a bit from project-m36, as I ran into some performance issues that...

Yes, that would be good! Just a bit of background for `acid-world` - I'm strongly in favour of expressing as much as possible at the type level. Haskell gives us...

I will try to do that - is there any particular settings you'd be looking for with the profiler? I'm actually less concerned about the constraint checking (though that is...

Apologies for the delay. I've put up a very simple benchmark here https://github.com/matchwood/project-m36-typed/blob/develop/benchmark/Benchmark.hs . I currently get a benchmarked time of 300ms (I have switched to a more powerful machine...

Hi @agentm, Do you have an idea when the new design might be implemented? Is there a ticket for it specifically? From my perspective the current persistence strategy is the...

Is this effectively a suggestion for adding a typed interface? I have started working on something similar myself, probably using [generics-sop](https://hackage.haskell.org/package/generics-sop-0.3.2.0). I am coming to project-m36 from the context of...

Ok, I will comment #42. Schema validation (if I understand you correctly) would be awesome!