Keep the best of both worlds, go ToJSONObject -> ToJSON as soon as a :@: is formed, but forward the ToJSONObject instance too (so that future :@:-extensions can be made and magically get the ToJSON instance while propagating the ToJSONObject instance)