shouldSucceed :: (Eq a, Show a, Show e) => Either e a -> Expectation
shouldSucceed  res = res `shouldSatisfy` isRight
shouldSucceed :: (Eq a, Show a, Show e) => Either e a -> Expectation
shouldSucceed  res = res `shouldSatisfy` isRight
shouldSucceed  res = res `shouldSatisfy` isRight