It also comes up when you want compile time expressions as parameters to your generics: // nice and clean let a = Generic[T, A > B]::new(); // gr

It also comes up when you want compile time expressions as parameters to your generics: // nice and clean let a = Generic[T, A > B]::new(); // gross curlies needed because of poor choices let a = Generic::<T, {A > B}>::new();