base.ResMatch[T:imm,mut,read,E:imm,mut,read,R:iso,imm,mut,mutH,read,readH]

mut .err(x: E): R,
mut .ok(x: T): R,
mut .b(x: E): R -> …,
mut .a(x: T): R -> …,
mut .err(x: E): R,
mut .ok(x: T): R,
mut .b(x: E): R -> …,
mut .a(x: T): R -> …,