- <literal>lazy</literal> which forces GHC to think that its
- argument is lazy in its first argument.
+ <literal>lazy</literal>, where <literal>lazy f</literal>
+ behaves like <literal>f</literal>, except GHC is forced
+ to believe that it is lazy in its first argument.