&lt;a b c&gt;; :: &lt;x y z&gt;; :: a b; c :: &lt;x y; z&gt;