UnboxedTuples can't be used as constraints