pub type NoLayer2 = Option<ImpossibleLayer2>;
enum NoLayer2 { None, Some(ImpossibleLayer2), }
No value.
Some value of type T.
T