The overall REM stage is in fact critical for the consolidation into long term memory of procedural information learned during the day. Suppressing REM leads reliably to deficits in this type of learning. Interestingly however, prozac fully mitigates this deficit without restoring the actual dreams themselves, which suggests that the mechanism is somewhat independent from dreaming.
