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