package preface

the type held by the Semigroup.

combine x y Combine two values (x and y) of t into one.