 + see TODO in code near the TestEnumTag test