| i >= 0 && i < 10000 = show i
| otherwise = error ("show4: the integer i must satisfy 0 <= i < 10000: " ++ show i)
show2 :: Integral i => i -> String
show2 i
| i >= 0 && i < 10000 = show i
| otherwise = error ("show4: the integer i must satisfy 0 <= i < 10000: " ++ show i)
show2 :: Integral i => i -> String
show2 i