Clarify Observer Signatures with Explicit Types.