I suppose the decision will affect `Either` and `D...
# random
j
I suppose the decision will affect
Either
and
Disjunction
as well.