pub type HKTRef<T: ?Sized> = HKT<dyn for<'ඞ> WithLifetime<'ඞ, T = &'ඞ T>>;
Expand description

Pervasive HKT! choice: HKT!<&T>

type HKTRef<T : ?Sized> = HKT!(&T);