removed old ghci stuff