import Test.Tasty ( TestTree, testGroup )
import Test.Tasty.HUnit ( Assertion, testCase )
import Test.Tasty.QuickCheck ( Arbitrary( arbitrary ), choose, testProperty )
import Test.Tasty ( TestTree, testGroup )
import Test.Tasty.HUnit ( Assertion, testCase )
import Test.Tasty.QuickCheck ( Arbitrary( arbitrary ), choose, testProperty )