try
` <*>
  + <*>
  | + <*>
  | | + <*>
  | | | + pure ((flip ($)) ((flip ($)) ((flip ($)) ((flip ($)) Pure . (cons . const 'd')) . ((.) . (cons . const 'c'))) . ((.) . ((.) . (cons . const 'b')))) . ((.) . ((.) . ((.) . (cons . const 'a')))))
  | | | ` satisfy
  | | ` satisfy
  | ` satisfy
  ` satisfy