[#3] Tests

If zipper is a type, you shouldn't be able to know it's internal structure, let alone modify it.