rename ~> to |~>|