makeToHoTTTest :: (Either String HSQueryExpr, String) -> H.Test
makeToHoTTTest (v, exp) = H.TestLabel (show v) $ H.TestCase $ do
  case v of
    Left e -> H.assertFailure $ show e
    Right a -> H.assertEqual (show v) exp (toCoq a)
makeToHoTTTest :: (Either String HSQueryExpr, String) -> H.Test
makeToHoTTTest (v, exp) = H.TestLabel (show v) $ H.TestCase $ do
  case v of
    Left e -> H.assertFailure $ show e
    Right a -> H.assertEqual (show v) exp (toCoq a)
makeToHoTTTest (v, exp) = H.TestLabel (show v) $ H.TestCase $ do
  case v of
    Left e -> H.assertFailure $ show e
    Right a -> H.assertEqual (show v) exp (toCoq a)