ghci example