Yeah, those aren't types, they're merely annotations.