That's what I've been saying all along. If you don't derive Read, FromJSON can't do its thing and if you do POSIXTime complains that it can't be an instance of Read. We should simply leave the time fields as Integers and users will convert to whichever type they need to use.