base.OptMap[T,R]

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,