Json4s: strict import.