- (Positive x_dim) <- arbitrary :: Gen (Positive Int)
- (Positive y_dim) <- arbitrary :: Gen (Positive Int)
- (Positive z_dim) <- arbitrary :: Gen (Positive Int)
+ -- I declare not to care about empty lists.
+ x_dim <- choose (1, 27)
+ y_dim <- choose (1, 27)
+ z_dim <- choose (1, 27)