concrete ExtraLat of ExtraLatAbs = CatLat ** 
  open ResLat, Coordination, Prelude in {
}