Default reads and writes don't check type field. This'll work because JsonFormat[T] is invariant. I have ideas, ping me later. cc @ArtRand