pub type ClippedInstanceDetails = (InstanceDetails, Option<Bounds>);