Remove implicit derived CodecJson. Not necessary, and potentially breaks things.