Json.empty should be extendable