Module Visitors.Utils

class list_monoid : object ... end
class non_ordered_list_monoid : object ... end

Same as list_monoid but uses rev_append as plus. Will break any order-conservation

class ss_monoid : object ... end
class two_list_monoid : object ... end