Updated GHCi config