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