This allows read_option to be used with a custom option type instead
of just core::Option.