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