<a 'b c' b c> :: <x 'y z>' y z