+
+ <para>NOTE: GHC doesn't implement complete full-laziness.
+ When optimisation in on, and
+ <option>-fno-full-laziness</option> is not given, some
+ transformations that increase sharing are performed, such
+ as extracting repeated computations from a loop. These
+ are the same transformations that a fully lazy
+ implementation would do, the difference is that GHC
+ doesn't consistently apply full-laziness, so don't rely on
+ it.</para>