(match
  leaf
  (match
    (let:tree:cf leaf node)
    (w{mono l2xy} (let:tree:cf
      (tick (shift app))
      (match
        (ite
          (let:tree:cf node (let:tree:cf leaf node))
          (let:tree:cf node (let:tree:cf leaf node))
        )
        (ite
          (ite
            (let:tree:cf node (let:tree:cf node (w{mono} node)))
            (let:tree:cf node (let:tree:cf node (w{mono} node)))
          )
          (ite
            (let:tree:cf node (let:tree:cf node (w{mono} node)))
            (let:tree:cf node (let:tree:cf node (w{mono} node)))
          )
        )
      )
    )
  )
)