Module String.Magma

type t = string
val append : t -> t -> t