<<compose, a, b, <compose, c, d>, e>,
 << <<mapid, 1>, <mapstar, 1>,
     <<mapid, 1>, <mapstar, 2>>,
     <mapstar, 3>>,
    <<mapid, 1>, <mapstar, 1>,
     <mapstar, 2>, <mapstar, 3>>
 >>>

<#1 *A <#1 *B> *C>	=>	<#1 *A *B *C>
