Alternatively for data types like IO where we want...

# arrow-contributors

[raulraja]

Alternatively for data types like IO where we want to enable where we could have an alternate AQL combinator where { bool } orRaise { ex } in a WhereOr<E, A> type class that types like Either and IO could implement letting the user specify E