import Test.QuickCheck.TH.GeneratorsSpec import Test.Tasty main :: IO () main = defaultMain tests