rejectCheckClearText :: Assertion
rejectCheckClearText = do
  let b = A.checkPassword (A.Encrypted "") (A.ClearText "")
  r <- try $ b `seq` return b
  case r of
    Left  e -> (e :: SomeException) `seq` return ()
    Right _ -> assertFailure
               "checkPassword should not accept encripted-clear pair"
rejectCheckClearText :: Assertion
rejectCheckClearText = do
  let b = A.checkPassword (A.Encrypted "") (A.ClearText "")
  r <- try $ b `seq` return b
  case r of
    Left  e -> (e :: SomeException) `seq` return ()
    Right _ -> assertFailure
               "checkPassword should not accept encripted-clear pair"
rejectCheckClearText = do
  let b = A.checkPassword (A.Encrypted "") (A.ClearText "")
  r <- try $ b `seq` return b
  case r of
    Left  e -> (e :: SomeException) `seq` return ()
    Right _ -> assertFailure
               "checkPassword should not accept encripted-clear pair"