Tuple.SEMIGROUP_F
First : Interface.SEMIGROUP
Second : Interface.SEMIGROUP
include Interface.MAGMA
type t
val append : t -> t -> t