Serializing to JSON as well using Aeson