I don't think defining `-->` is a good idea. Because `->` and `-->` are confusing and it's difficult to guess what is the difference (in other words, this is a symbolic API).