resource MicroResKor = open Prelude in {
  param
    Regularity = Regular | PieupIrregular ;

  oper
    Noun : Type = {s : Str} ;
    Verb : Type = {
      reg : Regularity ;
      stem : Str
      }
}