つ「ヒント2」
[(1,$),(0,1)]*[(1,&),(0,1)]
= [(1,$+&),(0,1)]