TypeWrapperはPropertyWrapperをユースサイトじゃなくてデクルサイトに定義して、その型においては常にラップさせるようにする、っていう捉え方はわかりやすいな。合ってると思う。