abstract Ticket = {

flags startcat = Request ;
cat
  Request ; Station ;
fun 
  Ticket : Station -> Station -> Request ;
  Hamburg, Paris : Station ;

}