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