to_json (x,y,z,w)           = Array [to_json x, to_json y, to_json z, to_json w]
to_json (x,y,z,w)           = Array [to_json x, to_json y, to_json z, to_json w]
to_json (x,y,z,w)           = Array [to_json x, to_json y, to_json z, to_json w]