module Data.Semigroup.Triangular where