↰
base.iter.IterMapper[E,R]
mut .some(x: E): mut base.Opt[R] -> …, // from base.OptMap/2
mut .empty: mut base.Opt[R] -> …, // from base.OptMap/2
mut #(t: E): R, // from base.OptMap/2
mut .some(x: E): mut base.Opt[R] -> …, // from base.OptMap/2
mut .empty: mut base.Opt[R] -> …, // from base.OptMap/2
mut #(t: E): R, // from base.OptMap/2