*Main> > > "TESTING START" > "7" > Leaving GHCi.