abstract PredefAbs = {
  cat Int ; String ; Float ; 
} ;