data string = list char. def eq_string: string * string -> bool = ps => eq_list{eq_char} ps. def explode: string -> list string = s => list{c => [c]} s. def implode: list string -> string = s => flatten s.