static Pair<WebNode> web_arrow(Web web, S a, S rel, S b) {
  ret web.relation(a, rel, b);
}