type 검사 뒤 cast와 getter를 반복하면 검사한 값과 사용하는 값 사이의 연결을 사람이 유지해야 합니다.
Object·sealed root
Post인가
post 이름 생성
title·viewCount 추출
검증된 값 사용
핵심: pattern이 일치한 분기 안에서만 bound value와 record component를 사용합니다.