record型周りのイディオム