type out
type m
val empty : m
val concat : m -> m -> m
val put : string -> m
val make : m -> out