optional에 대한 모나딕 연산이 너무 부족해서 기존 코드 기반과의 일관성 문제 무시할만큼의 메리트가 없음