Add swap Isomorphism and Applicative instances
merge
fix Show
zipper