I'm still wondering if there's a common abstraction underlying `Constraint`s and `Annotation`s.