import Prelude hiding ( LT )
import Test.Tasty ( TestTree, testGroup )
import Test.Tasty.HUnit ( Assertion, testCase )
-import Test.Tasty.QuickCheck ( Arbitrary(..), choose, testProperty )
+import Test.Tasty.QuickCheck ( Arbitrary( arbitrary ), choose, testProperty )
import Assertions ( assertTrue )
import Cardinal ( Cardinal(..), cwx, cwy, cwz )