add some ghci niceties