Removed prettyprinting from ghci