It's fine for the argument to not be annotated; in which case we simply default back to an `Option<Data>`.