<|> + <*> | + pure (\u1 -> 'a') | ` def | ` satisfy ` <*> + pure (\u1 -> 'b') ` ref