Documenation of && and || in the prelude should mention that they are lazy in the second argument

Summary

Location of documentation issue: Prelude, operators && and ||

The documentation simply describes them as Boolean "and" and Boolean "or". The fact that they are lazy in the second argument is important for their semantic and should be documented.

Proposed improvements or changes

Change their documentation to Boolean "and", lazy in the second argument and Boolean "or", lazy in the second argument