>>630
ArrowApplyの図ってこんな感じで良いんじゃないかと思う。
内側にarrowが入るスロットがあって、第二引数はそのスロットの入力に繋がってる。

  ┌───┐
f─┼─┐ │
  │ ↓ │
  │┏━┓│
b─┼┨ ┠┼→
  │┗━┛│
  └───┘