concrete LangKor of Lang =
  GrammarKor,
  LexiconKor,
  ConstructionKor ;