Add Representable0 instances to Either and Maybe.