base.ActionMatch[T:imm,mut,read,R:imm,mut,read]

mut .info(info: imm base.Info): R,
mut .ok(x: T): R,
mut .info(info: imm base.Info): R,
mut .ok(x: T): R,