True is the identity of that particular monoid. In other words: if you want all(a++b) == all(a) and all(b) to be true for all lists a,b, then then all([]) need

True is the identity of that particular monoid. In other words: if you want all(a++b) == all(a) and all(b) to be true for all lists a,b, then then all([]) needs to be true. Vice versa for any/or/False