--# -path=.:../abstract:../common:../prelude

concrete AllLat of AllLatAbs = 
  LangLat,
  ExtraLat
  ** {} ;