new testcases show that the existential type container is indeed not strict yet