json - アルゴナウトでJSONを生成するときにフィールドの順序を逆にする方法は?

Question

Arnautautを使用すると、次のように JSON を生成できます。

def toJson(user:User) = ("id" := user.id) ->: ("name" := user.name) ->: jEmptyObject

ただし、逆の順序で json を生成します。

{
   "name": "myname",
   "id": "123"
}

実際、私はそれが欲しい：

{
   "id": "123",
   "name": "myname"
}

それを行う方法はありますか？私はそれを次のように書きたくありません：

("name" := user.name) ->: ("id" := user.id) ->: jEmptyObject

それらを同じ順序で書く方法を見つけたい