showReadSpec @Int
showReadSpecOnArbitrary @Double
showReadSpecOnGen ((* 2) <$> genValid @Int) "even" (const [])
showReadSpecOnValid @Double
showReadRoundTrip @Int
showReadRoundTripOnArbitrary @Double
showReadRoundTripOnGen (abs <$> genUnchecked :: Gen Int) (const [])
showReadRoundTripOnValid @Rational