Constant UNCONSTRAINED 

pub const UNCONSTRAINED: &str = "cove::type::unconstrained";

Nothing written anywhere says what a type is: an unannotated lambda parameter, an empty array literal, a bare None, a struct’s type parameter no field mentions, or a binding whose uses settle nothing, in a place that expects nothing in particular.