レコードの型宣言を若干正確なものに修正