processMonoidState lacked usage of initial element