<<compose, a, b, <compose>>,
 << <<mapid, 1>, <mapstar, 1>, <<mapid, 1>>>,
    <<mapid, 1>, <mapstar, 1>>>>
 >>>

<#1 *A <#1>>	=>	<#1 *A>
