making it typecheck; move to uproxy-lib