성공시 전달되는 내부 데이터 타입과, 실패시 전달되는 내부 데이터 타입을 둘다 지정해서 쓰는데

try-catch 쓰는 언어들에서 성공시에는 원하는 타입 리턴하고 실패시에는 에러 타입 throw 하는거를 대체할 때 좋음

성공 내부 타입과 실패 내부 타입에 대해서 각각 모나딕 메소드들도 쓸 수 있고 개유용함