@jey_lee Now, I'd propose we merge conditionally under the following proviso:
Before ZIO 1.0, we migrate LightTypeTag to the ZIO organization, and rebrand to ZIO TypeTag, with full credits to Izumi
I also understand LightTypeTag has some subtle typing differences w.r.t. TypeTag, and it would be useful to understand if they could impact the ZIO use case or not (and if so, to what extent).