What about `AnnotatedType` for a better semantic ?