Choose a non-empty constructor rather than an arbitrary one.