Positionality is good only when arguments are interchangeable/commutative like addition or when the types are different which ensure that any mistakes in the or

Positionality is good only when arguments are interchangeable/commutative like addition or when the types are different which ensure that any mistakes in the order will be detected by the compiler. In all the other case positionality is bad: see memset for example.