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

mut .some(x: T): mut base.Opt[R] -> …,
mut .empty: mut base.Opt[R] -> …,
mut #(t: T): R,
mut .some(x: T): mut base.Opt[R] -> …,
mut .empty: mut base.Opt[R] -> …,
mut #(t: T): R,