(match (* t *)
  leaf
  (match (* tab *)
    (w{mono} var)
    (match (* ta *)
      (w{mono} node)
      (w{mono l2xy} (let:tree:cf
        (tick app)
        (let:tree:cf node node)
      ))
    )
  )
)
