added a conversion example: Json (with yojson type)