Monoid.1-First
include Bastet.Interface.SEMIGROUP
include Bastet.Interface.MAGMA
type t
val append : t -> t -> t
val empty : t