runtime witnes of type equality this is a reduced version of Core.Std.Type_equal.
Core.Std.Type_equal
type-safe conversion between equal types
type equality is reflexive