Clarify single-constructor patterns