let
exists f =
f u
||
f la
||
f p
||
f bv
||
f cop
||
f nl
||
f app
||
f arr
||
f set