Converting to aeson 0.7