# Semigroup

A Monoid without an identity element. In Haskell:

class Semigroup s where
(<>) :: s -> s -> s