add `Profunctor` to `GenTypeClass`; tuned
disable test for `Traverse[Zipper]`, since it causes memory leaks