표준 라이브러리 Haskell typeclasses MonadPlus, Alternative및 Monoid각각은 본질적으로 동일한 의미를 가진 두 가지 메서드를 제공합니다. 빈 값 : mzero, empty, 또는 mempty. 운영자 a -> a -> a: 함께 typeclass 값을 결합 mplus, <|>또는 mappend. 세 가지 모두 인스턴스가 준수해야하는 다음 법률을 지정합니다. mempty `mappend` x = x x `mappend` …