*Main> > > "TESTING START" > "*** Exception: badSpec > Leaving GHCi.