fix foldl', add monoid instance with provisional append