++ Adding annotation for type alias