annotations

Annotations on the type alias.