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