OCaml
monoidoid