class Monad m where  
    return :: a -> m a  
  
    (>>=) :: m a -> (a -> m b) -> m b  
  
    (>>) :: m a -> m b -> m b  
    x >> y = x >>= \\_ -> y  
  
    fail :: String -> m a  
    fail msg = error msg

• Monad도 Applicative Functor에 속함
• return 함수
  • pure 함수와 유사함
  • 평범한 원소를 가져와서 default context(Monad)에 담아줌

• = 함수 (=bind)

  • 인자
    • Monadic value a
    • 일반 원소 a를 받아서 Monadic value b를 만드는 함수
  • 결과값
    • Monad 원소 b
  • Monad에서 a를 꺼내서 주어진 함수를 적용, 또다른 Monad를 결과값으로

• 함수

  • 기본으로 선언되어 있음
• fail 함수

Maybe Monad

instance Monad Maybe where
	return x = Just x
	Nothing >>= f = Nothing
	Just x >>= f = f x
	fail _ = Nothing

Do notation

• Monadic value의 chanining을 표현할 수 있음

  • = 로 이어붙이는 것과 동일한 효과

• 각 줄마다 Monadic value가 들어감
  • Manadic value에서 결과값을 꺼내기 위해서 ← 표현식 사용
  • ←를 사용하지 않을 경우 >>를 사용하는 것과 같음
  • 마지막 줄의 표현식은 전체 결과에 binding 됨

ghci> Just 9 >>= (\\x -> Just (x > 8))  
Just True

-- 동일한 표현식

marySue :: Maybe Bool  
marySue = do   
    x <- Just 9  
    Just (x > 8)

• do notation에서 pattern matching 실패가 일어나는 경우, fail 함수가 사용됨
  • let 문과 같은 경우에는 에러와 함께 프로그램이 중단

wopwop :: Maybe Char  
wopwop = do  
    (x:xs) <- Just ""  
    return x

ghci> wopwop  
Nothing

List Monad

instance Monad [] where  
    return x = [x]  
    xs >>= f = concat (map f xs)  
    fail _ = []

• list can represent a non-deterministic value
• an empty list can resemble the absence of value = computation failure