Alexandre Archambault

It seems that's because `shapeless.Succ` [is a case class](https://github.com/milessabin/shapeless/blob/0663667f5fc8c1bbbf30b5926f12a978bd97b137/core/src/main/scala/shapeless/nat.scala#L38), so a `shapeless.Generic` is found for it, with `HNil` as generic representation. I guess better and higher priority codecs could be...

@kevinmeredith Sure!

argonaut-shapeless only works with argonaut 6.1 for now. I'm running into problems with the covariance of `DecodeJson` when trying to port it to argonaut 6.2 for now.

@janstenpickle If you want to add a word about this issue (this is the classic [SI-7046](https://issues.scala-lang.org/browse/SI-7046), aka [SI-7755](https://issues.scala-lang.org/browse/SI-7755)), go for it! Putting the models and the codec derivations in different...

If you change the README, change the one under `doc/`, then run `sbt tut`. The latter will update the README at the root of the project. You can then commit...

This is related to https://github.com/milessabin/shapeless/issues/309. Scalaz tagged types and shapeless records don't deal well together. https://github.com/milessabin/shapeless/issues/309 gives a workaround, which would involve writing alternatives to `hconsEncodeJson` and `hconsDecodeJson` methods specifically...

Interesting. It seems that a "naïve" recursive implementation could be written, like: - defining implicits for `DecodeJson[(H1 :: T1) => L2]` if one for `DecodeJson[T1 => L2]` exists, and -...

I don't know if I'll be able to find time for it soon... (If you or anyone else want to give it a try, please do.) Is there a particular...

That should be do-able. https://github.com/alexarchambault/case-app/pull/174 and https://github.com/alexarchambault/case-app/pull/176 illustrate how to tweak the parser. Ignoring unrecognized arguments could be added as an option the same way.

@balhoff It is possible to pass an explicit value to boolean options, like `--enable-foo=true` or `--enable-foo=false`.