abstract Tables = {
  cat S ; F ;
  fun
    FtoS, FtoS2 : F -> S ;
    f1, f2, f3, f4, f5, f6 : F ;
}