Discontinuous type Argument must be restricted

If you make this a MWE, we can help debug it.