Он хочет обёртку, в которую можно обернуть тип и чтобы эта обёртка существовала только в режиме компиляции, т.е. чтобы в результирующем коде было без неё, так, как будто её не использовали вообще
Он хочет обёртку, в которую можно обернуть тип и чтобы эта обёртка существовала только в режиме компиляции, т.е. чтобы в результирующем коде было без неё, так, как будто её не использовали вообще