(let:tree:cf
  (tick (shift app)) (* partition d x h *)
  (match
    (let:tree:cf leaf (let:tree:cf leaf node))
    (w node)
  )
)
