Expand description

Dealing with trait goals, i.e. T: Trait<'a, U>.