xline [] <> <>
 xline   
  []:  xline
  <>            :    xline
  <>          :  xline
