module XDR::Quadruple