I think what I've previously seen that postulated as is generic modules.
So you could have mod option<T> { enum Option { Some(T), None } } etc.
Which of course gets into the same "can you say Option<T> for that?" questions as those coming up in Allow importing assoicated methods - #2 by steffahn