Trait External
ensure
pub trait External { }
External objects that state of can be represented in the type system.