lets
` <*>
  + pure Term
  ` eof