Higherkinded special strings

[andrewthad]

This PR was formed by:

• Start from master branch
• Pull overlapping instances for [Char] #351 to stop using overlapping instances for strings
• Pull Add lifted typeclasses and some instances #381 to get higher kinded typeclasses (ToJSON1, etc.)
• Modify higher kinded typeclass definitions and instances to conform to the pattern outlined by @RyanGlScott in a comment.

I would appreciate any feedback if anyone sees anything that looks wrong. In particular, it's possible that I ended up with a non-list container that serializes to a json string instead of an array. All existing tests are still passing.

[RyanGlScott]

Perhaps list should be renamed to listEncoding?

[andrewthad]

I agree. I had only left it named list here because I stole it out of Data.Aeson.Encode.Functions, but listEncoding is a much better name.

[andrewthad]

Pushed some more changes that incorporate the suggestions from @RyanGlScott.

[phadej]

@andrewthad could you rebase it. Can you write lifted instances for Map and HashMap also, or should I continue on this. I have few cycles this Thursday.

[andrewthad]

@phadej I've merged changes from master into this branch. I've also added the higher kinded instances for Map and HashMap. Feel free to take over this branch and add any more instances. I won't have any time to look at it for the next few days.

Also, there's one thing that could use some review. I left the ToJSON and FromJSON instances for Map and HashMap alone instead of redefining them with toJSON1 and friends. It would be better to do it that way, but I have a slight worry that it may hurt performance. If anyone could benchmark it and show that it doesn't hurt performance, it would be great to see the duplication there eliminated.

[andrewthad]

Closing in favor of #407