Build an equivalence for TreeF from an equivalence of the tree type and an equivalence of the carrier type.
Build an equivalence for TreeF from an equivalence of the tree type and an equivalence of the carrier type.