select x is not null or 
(x is not null and y)
from (select Opaque(just(1)) as x, Opaque(just(true)) as y)

