Could we explicitly require the initializer here?