<<compose, a, <x, y, <x>>, <compose>>,
 << <<mapid, 1>, <mapstar, 1>, <<mapid, 1>>>,
    <<mapid, 1>, <mapstar, 1>>>>
 >>>

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