That is, ε is an identity for (M1), which is required to be associative (M2). Monoids are represented in Haskell by the Monoid type class defined in the Data.
確定! 回上一頁