added GHCI loading thing