Type-level data migration for aeson values