Spire wrappers for Json4s