ElmでMonoidを作ってみた？

monoid.elm

module Monoid exposing (..)

import Html exposing (text)

main = text <| toString <| sum [1,2,3]

type alias Monoid a =
  { empty : a
  , append : a -> a -> a
  }

monoid : a -> (a -> a -> a) -> Monoid a
monoid empty append =
  { empty = empty
  , append = append
  }

sumM : Monoid number -> List number -> number
sumM m l =
  List.foldr m.append m.empty l

sum : List number -> number
sum l = sumM intM l

intM : Monoid number
intM = monoid 0 (+)

Haskell風なら sumM : Monoid number => List number -> number として自動的に解決してくれそうなんだけど、elmだとそうはならないので…。