Characteristic predicate Types::Enum::Enum

Enum()