(match (* t *)
  ?
  (tick
    app (* _ tl *)
  )
)