Yeah. That's why I meant "generic", and we would probably agree that Coq and alia are not generic languages.