Re: GHCi off by default?