concrete AdjectiveSwa of Adjective = CatSwa ** open ResSwa, Prelude , ParamX  in {

  lin

    PositA  a = {
       s = a.s ! Posit  ;
       } ;

    -- PositA a = a;

}