Add test coverage of zipping Bad's with multiple causes
Promotion and accumulation between forms of Why