Partial is well implemented, you’re traversing with a

fold

. My only optimization would be to short-circuit if acc is false.