I think this line can be replaced by

```scala
sys.error("minViewWithKey")
```

Since tuples are not lazy in Scala, the second element can't be observed when the first one is ⊥.