-- names are the same as the function names
concrete TransportLabels of Transport = {

 lincat 
   Stop = { s : Str } ;

}