option.map f is injective if f is injective.