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