Control.Functor.Representable
class Representable f x
class Corepresentable f x
data Both a
data EitherF a b c