User blog comment:Simply Beautiful Art/Fast Array Iteration Leaping/@comment-5529393-20170403230715

This is rather confusing to me. In the second rule, it looks like you can just drop the last argument, which makes the notation trivial.

Also, I don't see a rule to reduce F a # 0 ... where there are no @'s.