prop_EqualOutput :: Severity -> Namespace -> LogStr -> Property 
prop_EqualOutput severity ns str = ioProperty $ do
  le1 <- logEnvWithScribe "scribeKCT.log"
  runKatipContextT le1 () ns $ logFM severity str
  _ <- closeScribes le1
  le2 <- logEnvWithScribe "scribeEff.log"
  runEff . runKatipContextE le2 () ns $ logFM severity str
  _ <- closeScribes le2
  s1 <- readFile "scribeKCT.log"
  s2 <- readFile "scribeEff.log"
  cleanup
  return $ s1 == s2