初版より、p.35 上から13行目 ✖: 「このレコードパターンを引数とする関数 age は、 name と age に何ら演算を施さないため、2つのフィールドの型に関して多相的です」 〇: 「このレコードパターンを引数とする関数 name は、 name と age に何ら演算を施さないため、2つのフィールドの型に関して多相的です」
初版より、p.35 上から13行目
✖: 「このレコードパターンを引数とする関数 age は、 name と age に何ら演算を施さないため、2つのフィールドの型に関して多相的です」
〇: 「このレコードパターンを引数とする関数 name は、 name と age に何ら演算を施さないため、2つのフィールドの型に関して多相的です」