Maybe 모나드는 Just, Nothing 두 하위형으로 구성된 빈 형식(표식형, marker type) 주목적은 null 체크 로직을 효과적으로 통합한는 것

• Just(value): 존재하는 값을 감싼 컨테이너를 나타냄
• Nothing(): 값이 없는 컨테이너, 또는 추가정보 없이 실패한 컨테이너를 나타냄
• Nothing 값(존재하지 않는 값)에도 얼마든지 함수를 적용할 수 있음

Mabe는 '널 허용(nullable)' 값(null, undefined)을 다루는 작업을 명시적으로 추상 개발자가 중요한 비즈니스 로직에만 전념할 수 있도록 함

모나드 연산이 어떻게 작동할지 서술한 구현부는 어디까지나 실제로 모나드형에 함축되어 전달된 의미에 따라 움직임