Reimplement custom State

[vrom911]

Now we don't have Reader anymore and the only thing that is blocking DerivingVia feature for generics is State. We can try to reimplement the custom one and see how it works for us.

[chshersh]

As a bonus side-effect (and a proof-of-the-approach): we can implement diwrap using just coerce