Martin Kouba Where in the spec does it state that this is not legal? One could even create an Alternative for Instance<T> and it would still be perfectly fine from a spec perspective!