[HelloNurse]

Do you mean something like compiling

  if (x is Left(Foo(y)) or x is Right(Foo(y))) and (y<5 or z>2) then 5

and destructuring Foo(y) only one time and dealing with parentheses?