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