* What does the notation with underscores and vertical bars in Hoogle mean? For example, the following:
> zip is right-lazy:
```
zip [] _|_ = []
zip _|_ [] = _|_
```