drop "hiding (catch)", as no longer exported from Prelude
Drop unnecessary fromIntegral around natToZ, which (now) generates arbitrary Integral