Settings for GHCi.