nicer withServer
explicit Arbitrary1 export