Haskell/모나드 항등원과 역원 가군 시계 산술 ISO 8601 대수학 대수 곱(범주론) 끝(범주론) 항등 사상 시작(범주론) 범주(범주론) Haskell/특징/모나드 틀:대수학 자유 모노이드 반군(수학) 쌍대 범주 1 환(대수학) 군(대수학) 자연수