base.ResMap[T:imm,mut,read,E:imm,mut,read,R:imm,mut,read]

mut .err(x: E): mut base.Res[R,E] -> …,
mut .b(x: E): mut base.Res[R,E] -> …, // from base.ResMatch/3
mut .ok(x: T): mut base.Res[R,E] -> …,
mut .a(x: T): mut base.Res[R,E] -> …, // from base.ResMatch/3
mut #(x: T): R,
mut .err(x: E): mut base.Res[R,E] -> …,
mut .b(x: E): mut base.Res[R,E] -> …, // from base.ResMatch/3
mut .ok(x: T): mut base.Res[R,E] -> …,
mut .a(x: T): mut base.Res[R,E] -> …, // from base.ResMatch/3
mut #(x: T): R,