using ghci>