resv [] <> <>
 resv   
  []:   resv
  <>      : ,      resv
  <>    :   resv
