Now that we can require at least one example, thanks to the type system, we can remove the `option` part of the function signature. And let's update the documentation at the same time.