Moved extensions to .ghci file