updated JSONCaster_splices.hs