Parameter Make.O type outtype mval empty : mval concat : m -> m -> mval put : string -> mval make : m -> out
