let
return lv e p = try_or_bot (
W
.return lv e) p