Parameter Magma.1-M

type t
val append : t -> t -> t