Gus

The other combinator we should consider adding is being used already in our tests: ``` let tag prop codec = Codec.ofConcrete codec |> Codec.compose ( (fun o -> match IReadOnlyDictionary.tryGetValue...

Is there any other relevant case for encoding DUs ? If you feel like starting a PR go ahead, please try to use something more concrete than `foo`, `bar`, at...

Sure, but we can still draft this part of the docs and once that PR is merged, create a PR to integrate it there. Regarding `jfromWith` I think we can...

I think a good solution should be to duplicate all those functions for both modules / types. This means in your example you should be able to do directly `ConcreteCodec.compose`....

> ... whereas the more general Codec type works for any JValue which might include JObject. Is that correct? No, actually they are both very generic, the main difference being...

Yes, we need to provide codecs like `JsonCodec.string` as `ConcreteCodec` as well, possibly under a different module. I'll think what's the best way to accomplish this.

Here's a smaller repro: ```fs open System.Collections.Generic type []MemoizationKeyWrapper v | (false, _) -> let v = f k cd.Add (MemoizationKeyWrapper k, v) v let inline memoizeN (f:'``(T1 -> T2...

> Is there any scoring mechanism to match the argument types? F# compiler has a tie breaker for deciding over multiple candidates. But there are many problems to that approach....

> So I'm assuming when there are multiple candidates we somehow must pick the one with the arity closer to the expected one. Actually, in this (and many other of...

I find this discussion interesting, I can add my thoughts but I disclaim I've never use Thoth. Still I can tell that I considered adding auto encoders/decoders to [Fleece](https://github.com/fsprojects/Fleece) long,...