Support for the ~> operator