Semigroup.hs
List