base.ThenElse[R:iso,imm,mut,read]

mut .then: R,
mut .else: R,
mut .then: R,
mut .else: R,