.ghci isn't used