JSON library about midas HOT 2 OPEN

import jason.{object, string, boolean}
let body = jason.encode(
    object(
      [
        tuple("id_token", string(id_token)),
        tuple(
          "userinfo",
          object(
            [
              tuple("sub", string(email_address)),
              tuple("email", string(email_address)),
              tuple("email_verified", boolean(True)),
            ],
          ),
        ),
      ],
    ),
  )

  JsonObject(
    [
      tuple("id_token", JsonString(id_token)),
      tuple(
        "userinfo",
        JsonObject(
          [
            tuple("sub", JsonString(email_address)),
            tuple("email", JsonString(email_address)),
            tuple("email_verified", JsonBool(True)),
          ],
        ),
      ),
    ],
  ),

  let body = jason.encode(
    dynamic.from(
      map.from_list(
        [
          tuple("id_token", dynamic.from(id_token)),
          tuple(
            "userinfo",
            dynamic.from(
              map.from_list(
                [
                  tuple("sub", dynamic.from(email_address)),
                  tuple("email", dynamic.from(email_address)),
                  tuple("email_verified", dynamic.from(True)),
                ],
              ),
            ),
          ),
        ],
      ),
    ),
  )