Duplicate vals in Zipper.
Replace datatypes' Instances traits with classes.