identity</th><td>( [a] -- a )</td></tr>
	<tr><th>rep</th><td>( [a] -- a a )</td></tr>
	<tr><th>run</th><td>( [a] -- a [a] )</td></tr>
	<tr><th>cons</th><td>( a [b] -- [a b] )</td></tr>
	<tr><th>sons</th><td>( a [b] -- [a b] a )</td></tr>
	<tr><th>dip</th><td>( a [b] -- b a )</td></tr>
	<tr><th>cat/compose</th><td>( [a] [b] -- [a b] )</td></tr>
	<tr><th>sap</th><td>( [a] [b] -- b a )</td></tr>
	<tr><th>swat/prepose</th><td>( [a] [b] -- [b a] )</td></tr>
	<tr><th>take</th><td>( [a] [b] -- [b [a]] )</td></tr>
