Arbitrary sum types are just a generalisation of what I wrote. Opaleye doesn't have them (yet?) but rel8 does: https://hackage.haskell.org/package/rel8-1.1.0.

Arbitrary sum types are just a generalisation of what I wrote. Opaleye doesn't have them (yet?) but rel8 does: https://hackage.haskell.org/package/rel8-1.1.0.0/docs/src/Rel8.Table.Either.html#EitherTable https://hackage.haskell.org/package/rel8-1.1.0.0/docs/src/Re... You have a bool which specifies whether it's left or right, and then two payloads, one for left and one for right.