This module exports the reusable components of the Either a b
representation. These include the embedding-projection pair used in a type
representation as well as the type representation of Either a b for
Generic.

This module also exports the instance for the representation dispatcher
Rep.