1 2 3 4 5 6 7 8 9 10
concrete WeekdayFin of Weekday = open LangFin, ParadigmsFin in { lincat WDay = PN ; lin Mon = mkPN (regN "maanantai") ; Tue = mkPN (regN "tiistai") ; }