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