This would be great, but it changes the semantics of `Type.instantiate()`, because we expect to be able to call that with no arguments regardless of what we are instantiating.