let
test c t f = try_or_bot (
W
.test c t) f