Safely transmute type to itself in generic contexts
Runtime 'live witness' of two types being the same
Effective type-based pseudodynamic dispatch to impls, enums and typeid