Used equality witness to eliminate unsafeCoerce in tinplate.