Typesafe annotation containers