ghci --show-options