raisesError :: a -> Property
raisesError x = ioProperty $ do
  r <- try @ErrorCall $ evaluate x
  return $ void (first (const ()) r) === Left ()
raisesError :: a -> Property
raisesError x = ioProperty $ do
  r <- try @ErrorCall $ evaluate x
  return $ void (first (const ()) r) === Left ()
raisesError x = ioProperty $ do
  r <- try @ErrorCall $ evaluate x
  return $ void (first (const ()) r) === Left ()