structの中で使ってプロパティを生成する例の他に、トップレベルで使って型を生成してるのがあるな