Add failing Foldable testcase from #365