partial function을 멋드러지게 다룰 수 있다는 점은 좋은것 같음.
다르게 표현하자면, Maybe 없이도 failure를 굉장히 간편하게 다룰 수 있음.

head :: [a] -> a 는 불완전하고
head :: [a] -> Maybe a 는 번거로운데 (그래서 모나드가 있지만)
head([a], a) 는 상당히 편리하다고 생각.