Constaint dispatching on suplied arguments