이 인텐션은 함수의 타입 제약(수명 주기 및 특성)을 where 절로 옮깁니다.