concrete AdverbSwa of Adverb = CatSwa ** open ResSwa, Prelude in { lin -- PositAdvAdj : A -> Adv ; -- vizuri PositAdvAdj a = { s = a.s ! Posit ! AA } ; }