concrete AdjectiveFao of Adjective = CatFao ** {
lin
  PositA a = a ;
}