It can be `@spec __struct__ :: t`!