Migrate from json to aeson