I think that's off topic, it's a type declaration and not an attribute.

Very different things, type declarations are just stubs and badly documented and I think nothing happened there in the last 20 years.

> "bound to the use of the fields pragma"

see fields

compile-time checking if you use hash keys of a typed Hash/Class.

also hardly used