ordSpec @Int
ordSpecOnArbitrary @Int
ordSpecOnGen ((* 2) <$> genValid @Int) "even"
ordSpecOnInvalid @Double
ordSpecOnValid @Double