Oh, I certainly don't mean that annotations aren't equivalent to cons cells. That's definitely true. I'm just saying that that doesn't mean we should use them like we use cons cells. I think their primary use should be the one your code example shows: to add a type to some other object.
