Agda added Pretty instance for Data.Int.Int32