abstract Untensed = Cat ** {

  fun
    PosCl, NegCl : Cl -> S ;

}