pub type BoolValue = Value<bool>;
enum BoolValue { Known(bool), Unknown, }
Not determined at compile time.`