lets
` <*>
  + pure (\u1 -> Term 'a')
  ` satisfy