tests :: IO TestTree
tests = do
  specs <- testSpec "quickcheck tests" spec
  pure $ testGroup "HiCkevInServant.Server" [specs]
tests :: IO TestTree
tests = do
  specs <- testSpec "quickcheck tests" spec
  pure $ testGroup "HiCkevInServant.Server" [specs]
tests = do
  specs <- testSpec "quickcheck tests" spec
  pure $ testGroup "HiCkevInServant.Server" [specs]