I find it very intuitive, but maybe it's because of a missing link or two. Boolean arithmetic sometimes uses + for OR and * for AND. When considering only zero

I find it very intuitive, but maybe it's because of a missing link or two. Boolean arithmetic sometimes uses + for OR and * for AND. When considering only zero and non-zero values, the semantics are the same. 1 + 1 + 0 is non-zero, 1 * 1 * 0 is zero. Substitute + for OR and * for AND, and you wind up with the "same" result. From the linked article: > one is „and data“, the other is „or data“. Structs/records/product types fit the description of "and data", because it's a compound value comprised of this type AND that type AND that other type, etc. Unions/sum types fit the description of "or data" because it's either this type OR that type OR that other type.