Simplify <*>

The general case now works for trees size 7 and above, and it's
much less hairy.