abstract Params2 = {
  cat Quality ; MassKind ;
  fun
    Salt : MassKind;
    Good : Quality;
    SuchMassKind : Quality -> MassKind -> MassKind;
}