Method traits define: #Y &builder:
  [[| :f | [| :x | f applyWith: (x applyWith: x)]
	   applyWith: [| :x | f applyWith: (x applyWith: x)]]].