CondconfはExistentialにcastできない？