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