-module Main
+module Main (main)
where
import Test.Tasty ( TestTree, defaultMain, localOption, testGroup )
-import Test.Tasty.QuickCheck ( QuickCheckTests(..) )
+import Test.Tasty.QuickCheck ( QuickCheckTests(QuickCheckTests) )
import Cardinal ( cardinal_tests, cardinal_properties )
import Cube ( cube_properties )