Ah, yes. You could weaken the argument type of the constructor, but it doesn't really matter.