  The product of quantum mechanics is defined as the ordinary multiplication
followed by the application of superoperator that orders involved operators.
The operator version of Poisson bracket is defined being the Lie bracket which
substitutes commutator in the von Neumann equation. These result in obstruction
free quantization, with the ordering rule which coincides with Weyl ordering
rule.
