Conative
타입 선언과 타입 단언