Function argument can be prefixed with distinct