JSON input and output based on extensible effects and aeson.