summary :: Summary -> String
summary s = unlines
  [ "success: " ++ show (success s)
  , "gave up: " ++ show (gaveUp s)
  , "failure: " ++ show (failure s)
  , "no expected failure: " ++ show (noExpectedFailure s)
  , "total: " ++ show
    (success s + gaveUp s + failure s +
     noExpectedFailure s)
  ]
summary :: Summary -> String
summary s = unlines
  [ "success: " ++ show (success s)
  , "gave up: " ++ show (gaveUp s)
  , "failure: " ++ show (failure s)
  , "no expected failure: " ++ show (noExpectedFailure s)
  , "total: " ++ show
    (success s + gaveUp s + failure s +
     noExpectedFailure s)
  ]
summary s = unlines
  [ "success: " ++ show (success s)
  , "gave up: " ++ show (gaveUp s)
  , "failure: " ++ show (failure s)
  , "no expected failure: " ++ show (noExpectedFailure s)
  , "total: " ++ show
    (success s + gaveUp s + failure s +
     noExpectedFailure s)
  ]