module StringConcat = struct
  let op = fun x y -> y @ [x] ;;
  let init = [] ;;
end