Xia Li-yao

Sure, you can ping me to have a look at this.

> import Data.Aeson > data F = F { a :: Maybe Int, b :: Maybe Int } deriving (Show, GHC.Generics.Generic) > instance FromJSON F where parseJSON = genericParseJSON defaultOptions...

Ping @RyanGlScott

I see, thanks for your input! I will start a discussion on the mailing list.

This is still WIP. [On the mailing list](https://mail.haskell.org/pipermail/libraries/2019-April/029553.html) it was suggested to investigate the matter more formally. So I started studying those laws in Coq: https://github.com/Lysxia/coq-mtl but I've been distracted...

It's been a week since I reiterated my proposal: https://mail.haskell.org/pipermail/libraries/2019-October/030038.html Is there anything more I can do to make progress to get this merged?

I also cut the original comment on this class. I find the first sentence quite hard to read, and the rest is not quite relevant. > It is common to...

See #5 . With #61, the remaining effects to document are `Writer` and `Cont`.

Please also note that everything I'm doing here is open for questions and discussion.

This probably needs a `@since` annotation but I don't know what version.