{
    "name": "Pair",
    "result_type": "Pair[a,b]",
    "call": "(,)[first,second]",
    "args": [
        {
            "arg_name": "first",
            "arg_type": "a"
        },
        {
            "arg_name": "second",
            "arg_type": "b"
        }
    ]
}
