Now, as I see that ghci can load and run the code made by -O, I wonder what the User's Guide means by saying "-O does not work with GHCi". Maybe ghci -O ? could be meaningful?

"ghci -O" is exactly the combination that doesn't work. Cheers, Simon