In Scala's type system that can be expresses as well - it's called type variance. I believe C#4.0 might be getting this.
interface NOption<out T> { ... }